Формулы логики высказываний легко демонстрируют возможность формализации.

. ими любой формулы логики предикатов. Верно ли это?

Рассмотрим пример доказательства формулы логики предикатов (Ey) (x) Pxy
1 месяц назад от Mixail

1 ответ



0 голосов
Формулы логики высказываний легко демонстрируют возможность формализации. . ими любой формулы логики предикатов. Верно ли это? Нет, не верно: ибо Вы уже были НЕРАЗУМНЫ, начиная свою цепочку рассуждений! Вы забыли неписаный закон НЕПРОТИВОРЕЧИЯ! «Не лги самому себе (своему духу) , ни в поступках, ни в помыслах своих; ибо лишишься памяти и потеряешь разум! » «
1 месяц назад от LoreenRudolp

Связанные вопросы