"Парадоксальное" логическое умозаключение

[Null]

Профессор Снэйп в сообщении #529162 писал(а):

И вообще, мы ушли куда-то в сторону. Задача явно на исчисление высказываний, а не на исчисление предикатов. Никаких кванторов изначально не предполагалось!

Ну я и говорю что там не просто высказывания, поэтому и приходим к неправильному выводу.

[epros]

Null в сообщении #529157 писал(а):

По-моему там проблема с переводом с русского языка в формулы

Неа, это просто особенность классического исчисления высказываний. Кстати, есть логики без аксиомы $\neg A \to (A \to B)$, в них из 2+2=5 вывод про помидоры на Марсе сделать никак нельзя.