Исчисление высказываний

Пусть интерпретация определена на всех высказывательных переменных, встречающихся в формулах множества. Говорят, что выполняет или модель , если каждая формулаизпринимает значение «истина», при интерпретации. Говорят, чтовыполнимо, если имеет модель. Еслине выполнимо, то пишут=.

Пусть – множество формул логики высказываний,А – произвольная формула. Говорят, что множество логически влечет формулуА, если любая модель являются моделью дляА и обозначается = А.

Утверждение того, что некоторое высказывание (заключение) следует из других высказываний (посылок), называется аргументом. Аргумент часто представляют в виде:

... гипотезы

заключение

Аргумент называется правильным, если из множества гипотез логически следует заключение аргумента.

Второе правило исчисления высказываний: Modus Ponens.

Правило Modus Ponens: , т.е.

«Если , то; ноистинно, следовательно, истинно_».