Обсуждение:Исчисление высказываний

Базовыми понятиями логики высказываний являются пропозициональная переменная — переменная, значением которой может быть логическое высказывание - Wikipedia from.

Добавлено. --Phil 21:03, 12 января 2012 (MSK)

Правило вывода (элемент R) - упорядоченная n-ка выражений, где первое n-1 выражение --- посылка, а последнее --- заключение правила.

У Штукенберга иначе, цитирую:

Правило вывода (элементы R) - это некоторые упорядоченные n-ки выражений, где первЫЕ n-1 выражений называются посылками, а последнее --- заключение правила.