Loading AI tools
regels in logica Van Wikipedia, de vrije encyclopedie
In de logica is een afleidingsregel een regel die uit een aantal proposities een propositie afleidt. De proposities waar de propositie uit afgeleid wordt, worden de premissen genoemd en de afgeleide propositie de conclusie: de conclusie wordt geconcludeerd (of afgeleid) uit de premissen.
Een afleidingsregel kan als volgt genoteerd worden:
of:
Voorbeelden van afleidingsregels in de klassieke propositielogica:
Afleidingsregels voor predicatenlogica maken gebruik van kwantoren, zoals:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.