Вопросы следующие:
Табличный способ доказательства формул логики высказываний.
Правила построения таблиц в логике предикатов.
Правило существования и правило всеобщности в логике предикатов.
Формализация в логике высказываний и в логике предикатов
Искренне надеюсь на помощь.
Journal information