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.
Zgłoś uwagę
UWAGA: Po wysłaniu zgłoszenia, otrzymasz wiadomość mailową z prośbą o jego potwierdzenie.
dedukcja naturalna
Encyklopedia PWN
zgłoś uwagę