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

Материал из Викиконспекты
Версия от 18:50, 12 января 2012; Phil (обсуждение | вклад) (Новая страница: «==Язык исчисления высказываний== {{Определение |definition= Языком исчисления высказываний мы н...»)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

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

Определение:
Языком исчисления высказываний мы назовем язык [math]L[/math], порождаемый следующей грамматикой со стартовым нетерминалом <выражение>:
  • <выражение> ::= <импликация>
  • <импликация> ::= <дизъюнкция>
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Исчисление_высказываний,_общие_определения._Таблицы_истинности._Общезначимость&oldid=16283»