Нормальная форма (естественная дедукция)
Эта статья нуждается в дополнительных цитатах для проверки . ( ноябрь 2020 г. ) |
, вывод естественной дедукции является нормальной формой Согласно Дагу Правитцу , если ни одно появление формулы не является одновременно основной посылкой правила исключения и заключением правила введения. [1]
Ссылки [ править ]
- ^ Правиц, Даг (24 февраля 2006 г.). Естественная дедукция: теоретическое исследование с доказательствами . Публикации Courier Dover. ISBN 978-0-486-44655-4 .