|
|
|||||||
Цитата: а читать-то пробовали? ась? для примера, выдержка: обоснуйте выводимость Ax(S(x)}P(x)) или Ax(P(x)}Q(x))|-Ax(S(x)}Q(x)). ничего сложного.... так, на 5 минуток упражненьице по логике предикатов...я уж не говорю про семантические таблицы для формул логики предикатов, обобщающую индукцию, категорические силлогизмы, дедуктивные умозаключения и т.д.... так что: Цитата: хорошо, что книжка была одна, ![]() ![]() ![]() ![]() ![]() |