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

Question

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

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

Answer 1

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