Формулы логики высказываний легко демонстрируют возможность формализации...
...ими любой формулы логики предикатов. Верно ли это?
Нет, не верно: ибо Вы уже были НЕРАЗУМНЫ, начиная свою цепочку рассуждений!
Вы забыли неписаный закон НЕПРОТИВОРЕЧИЯ!
«Не лги самому себе (своему духу), ни в поступках, ни в помыслах своих; ибо лишишься памяти и потеряешь разум!»
«Μην λέτε ψέματα στον εαυτό σας (την ψυχή σας), ούτε στις πράξεις σας ούτε στις σκέψεις σας.
Гιατί θα χάσεις τη μνήμη σου και θα χάσεις το μυαλό σου»
/мин лЕтэ псЕмата стон еавтО сас (тин психИ сас), Утэ стис прАксис сас, Утэ стис скЕпсис сас. ятИ фа хАсис ти мнИми су, ки фа хАсис то мялО су/
У наших же далёких предков, на сей счёт существовало более короткое и ёмкое суждение: «Ё(шь) твою ятИ-та!»
Не существует «логики предикатов», как и науки ЛОГИКИ вообще; ибо ЛОГИКА, - это врождённая способность правильного мышления, постепенно исчезающая после рождения и освоения родного языка (как следствие, нарушения НЕПРОТИВОРЕЧИЯ)!...
«Linguo mea inimicus meas est !» لساني هو حقا عدوي!
«Η γλώσσα μου είναι πραγματικά εχθρός μου!»
Азъ есьмь благ и человеколюбец,... поелику остаюсь лишь червём смердящим... Я индуктор (или indignæ - недостойный лат.) от рождения. Истинность моих ответов зависит лишь от правильности формулировок вопросов.
Рассмотрим пример доказательства формулы логики предикатов (Ey)(x)Pxy→(x)(Ey)Pxy с помощью формулы логики высказываний (Paa&Pba)v(Pab&Pbb)→(PaavPab)&(PbavPbb) или (p&q)v(r&s)→(pvr)&(svq) иллюстрирующее данную мысль.
Получена искомая формула. Как видно, все четыре правила вывода логики предикатов имеют эквиваленты в логике высказываний. Построение обоих доказательств также схожее с той лишь разницей, что доказательство логики высказываний дольше.
Не так ли?