dedukcja naturalna

dedukcja naturalna,

log. metoda budowania systemu dedukcyjnego polegająca na tym, że w procesie dowodzenia twierdzeń używa się wyłącznie reguł — inaczej niż w przypadku systemu aksjomatycznego, w którym stosuje się zarówno reguły, jak i aksjomaty.