| afleidbaarheid: | 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 |
Woorden zoeken
- Woorden A-Z
© SWC. Woorden-Boek.nl zoekt in 104.342 woorden.