Если это высказывание истинно, то поздравляю всех хоть как-то причастных со всемирным днём логики!

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

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

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

Про Фреге?)

Душный!

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

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

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

((

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

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

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

Упражнение

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

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