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