Қалыпты форма (табиғи шегерім) - Normal form (natural deduction)
 | Бұл мақала үшін қосымша дәйексөздер қажет тексеру. (Қараша 2020) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз) |
Туралы қорытынды табиғи шегерім Бұл қалыпты форма, сәйкес Даг Правиц, егер формула пайда болмаса, жою ережесінің негізгі алғышарты да, енгізу ережесінің қорытындысы да болмаса.[1]
 | Бұл логика - қатысты мақала а бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту. |
- ^ Правиц, Даг (2006-02-24). Табиғи шегерім: теориялық зерттеу. Courier Dover жарияланымдары. ISBN 978-0-486-44655-4.