dedukcja naturalna
 
Encyklopedia PWN
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.
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia