afleidbaarheid

Betekenis afleidbaarheid

De betekenis van afleidbaarheid is: "een conclusie is consistent (afleidbaar) als uit een eindige lijst van formules met E als laatste, iedere formule in die lijst of een van de axioma`s is, of met behulp van modus ponens uit een tweetal voorafgaande formules verkregen is
".

Defenitie afleidbaarheid

De definitie van afleidbaarheid is: "een conclusie is consistent (afleidbaar) als uit een eindige lijst van formules met E als laatste, iedere formule in die lijst of een van de axioma`s is, of met behulp van modus ponens uit een tweetal voorafgaande formules verkregen is
".