Back قاعدة الاستدلال Arabic Regla d'inferència Catalan Schlussregel German Συμπερασματικός κανόνας Greek Rule of inference English Regla de inferencia Spanish Tuletusreegel Estonian قاعده استنتاج Persian Règle d'inférence French כלל היסק HE
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:
- premisse 1
- premisse 2
- ...
- premisse n:
- conclusie
of:
- premisse 1, premisse 2, ..., premisse n
- conclusie