Исчисление высказываний, общие определения. Таблицы истинности. Общезначимость

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

Определение:

Языком исчисления высказываний мы назовем язык [math]L[/math], порождаемый следующей грамматикой со стартовым нетерминалом <выражение>: <выражение> ::= <импликация> <импликация> ::= <дизъюнкция>