alt=Photo of a marble bust of a bearded man|miniatura|Regulile de inferență din logica lui Aristotel (384–322 î.Hr.) au forma silogismelor. alt=Diagram of an inference|miniatura| este una dintre principalele reguli ale inferenței. Regulile de inferență sunt modalități de a deduce concluzii din premise. Ele sunt părți integrante ale logicii formale, servind drept structură logică a argumentelor valide. Dacă un argument cu premise adevărate urmează o regulă de inferență, atunci concluzia nu poate fi falsă. Regulile de inferență sunt relevante în multe domenii, cum ar fi demonstrațiile în matematică și raționamentul automat în informatică. Bazele lor conceptuale și psihologice sunt studiate de filozofii logicii și psihologii cognitivi. Regulile de inferență includ regulile de implicație, care operează doar într-o singură direcție, de la premise la concluzii, și regulile de înlocuire, care afirmă că două expresii sunt echivalente și pot fi interschimbate liber. Note
Categorie:Reguli Categorie:Expresii logice Categorie:Calcul propozițional Categorie:Inferență