а читать-то пробовали? ась?

для примера, выдержка:

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

так что:

хорошо, что книжка была одна,

а то за такие "подарочки" Вас могли и в ШГ подаркоприниматели оприходовать

, за особый цинизм в йепле мозгов!!!