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.
dedukcja naturalna
Encyklopedia PWN
Znaleziono w książkach Grupy PWN
Trwa wyszukiwanie...
