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

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «==Язык исчисления высказываний== {{Определение |definition= Языком исчисления высказываний мы н...»)
(нет различий)

Версия 18:50, 12 января 2012

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

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