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.
Drogi Użytkowniku AdBlocka,
wiemy, jak cenny jest Twój czas – zajmiemy Ci tylko chwilę.
Czy dasz nam szansę, abyśmy mogli dalej tworzyć źródło Twojej sprawdzonej, darmowej wiedzy, z której właśnie chcesz skorzystać? Bez wpływu z reklam będzie to po prostu niemożliwe. Dlatego prosimy – dodaj naszą domenę, jako wyjątek lub skorzystaj z instrukcji i odblokuj wyświetlanie reklam na naszych serwisach.
Dziękujemy!
Redakcja serwisów PWN
Wydawnictwa Naukowego PWN