Обсуждение:Исчисление высказываний — различия между версиями
Phil (обсуждение | вклад) |
|||
| Строка 2: | Строка 2: | ||
Добавлено. --[[Участник:Phil|Phil]] 21:03, 12 января 2012 (MSK) | Добавлено. --[[Участник:Phil|Phil]] 21:03, 12 января 2012 (MSK) | ||
| + | |||
| + | Правило вывода (элемент R) - упорядоченная n-ка выражений, где первое n-1 выражение --- посылка, а последнее --- заключение правила. | ||
| + | У Штукенберга иначе, цитирую: | ||
| + | Правило вывода (элементы R) - это некоторые упорядоченные n-ки выражений, где первЫЕ n-1 выражений называются посылками, а последнее --- заключение правила. | ||
Версия 22:18, 12 января 2012
Базовыми понятиями логики высказываний являются пропозициональная переменная — переменная, значением которой может быть логическое высказывание - Wikipedia from.
Добавлено. --Phil 21:03, 12 января 2012 (MSK)
Правило вывода (элемент R) - упорядоченная n-ка выражений, где первое n-1 выражение --- посылка, а последнее --- заключение правила.
У Штукенберга иначе, цитирую:
Правило вывода (элементы R) - это некоторые упорядоченные n-ки выражений, где первЫЕ n-1 выражений называются посылками, а последнее --- заключение правила.
