Изменения

Перейти к: навигация, поиск

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

564 байта добавлено, 22:18, 12 января 2012
Нет описания правки
Добавлено. --[[Участник:Phil|Phil]] 21:03, 12 января 2012 (MSK)
 
Правило вывода (элемент R) - упорядоченная n-ка выражений, где первое n-1 выражение --- посылка, а последнее --- заключение правила.
У Штукенберга иначе, цитирую:
Правило вывода (элементы R) - это некоторые упорядоченные n-ки выражений, где первЫЕ n-1 выражений называются посылками, а последнее --- заключение правила.
189
правок

Навигация