Обсуждение:Исчисление высказываний
Базовыми понятиями логики высказываний являются пропозициональная переменная — переменная, значением которой может быть логическое высказывание - Wikipedia from.
Добавлено. --Phil 21:03, 12 января 2012 (MSK)
Правило вывода (элемент R) - упорядоченная n-ка выражений, где первое n-1 выражение --- посылка, а последнее --- заключение правила.
У Штукенберга иначе, цитирую:
Правило вывода (элементы R) - это некоторые упорядоченные n-ки выражений, где первЫЕ n-1 выражений называются посылками, а последнее --- заключение правила.
Расширим грамматику из предыдущего раздела:
- В первой и второй строке вместо конъюнкции должна быть импликация.
- <выражение> ::= <
конъюнкцияимпликация> - <
конъюнкцияимпликация> ::= <дизъюнкция> | <дизъюнкция> -> <конъюнкцияимпликация> - Я прав? --Андрей Рыбак 09:56, 14 января 2012 (MSK)
- Видимо, да. Сейчас поправлю. --Мейнстер Д. 10:09, 14 января 2012 (MSK)