Кому задолжал ответ, извините (просто сейчас не в ресурсе), я обязательно отвечу попозже!

Доказательство оставили в качестве упражнения читателю

А вы посмотрели?

Про Фреге?)

Душный!

В англоязычной традиции символ отношения выводимости в логике ⊢ называют «турникет»
А у нас в логике его называют «штопор». Интересно почему)

Хорошее рассуждение?
[ 👍, 👎, 🤔]

Хорошее рассуждение?
[ 👍, 👎, 🤔]

((

Внимание! Трудная проблема сознания решена, расходимся

Резюме решения (аргументы, для краткости, были опущены)

У них свои интересы

Упражнение

Не, ну правда...

Хайдеггер преследует

Прав или да?
(или нет)

Отношение R является антисимметричным, если и только если для любых объектов х, у верно, что если х находится в отношении R к у, а также у находится в отношении R к х, то х=у
Т.е. (если хRy и уRx, то х=у)