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.