În logică și filozofie, regulile de inferență se referă la o serie de reguli folosite pentru a defini parametrii adevărului în contextul unei situații date. Ele sunt utilizate în mod obișnuit în multe domenii ale logicii și matematicii și definesc forme logice sau forme de argument. Fiecare regulă de inferență este în esență o formulă diferită pentru a determina adevărul unui argument în contextul dat. O regulă de inferență poate fi numită și regulă de inferență.
Regulile de inferență apar într-un mare număr de domenii ale gândirii, inclusiv domenii ale logicii și matematicii, cum ar fi logica simbolică, logica clasică și calculul. Ele sunt de obicei linii directoare pentru prelucrarea informațiilor în acel domeniu. Pentru majoritatea oamenilor, cel mai cunoscut set de reguli de inferență provine din logica propozițională.
Aceste reguli sunt utilizate în cadrul unei metode de evaluare numită deducție naturală. Nouă reguli de bază ghidează verificarea afirmațiilor sub deducție naturală. Aceste reguli de inferență sunt adesea exprimate folosind simboluri și variabile reprezentând condițiile enunțate. Primele reguli ale grupului sunt cele mai utilizate. Modus ponens este un argument dacă-atunci care afirmă că, deoarece existența unui lucru, cunoscut sub numele de lucru O, înseamnă că există și un alt lucru, cunoscut sub numele de lucru A, existența lucrului original înseamnă că ultimul lucru există în mod logic.
A doua regulă de inferență este Modus tollens, cunoscută și ca negarea consecințelor. Introducerea conjuncției este o inferență care afirmă că dacă R este adevărat și I este și adevărat, atunci R și A sunt adevărate. Inferența de simplificare este în esență opusă; afirmă că dacă A și R sunt adevărate, atunci A este adevărat și R este adevărat. Alte reguli de inferență în logică includ introducerea și eliminarea disjuncției și silogismul disjunctiv și ipotetic, precum și introducerea și eliminarea bicondițională și dilema constructivă și distructivă.
Când evaluează un argument folosind o regulă de inferență, persoana care evaluează argumentul operează pe principiul că premisele argumentate sunt adevărate. Regula de inferență este una dintre multele metode utilizate în procesarea informațiilor dintr-o serie de afirmații pentru a afla dacă informațiile pot fi adevărate. Învățarea acestei metode de demonstrare a unui argument este utilă la testele care se concentrează pe demonstrarea argumentelor, cum ar fi testele necesare pentru a intra în multe programe de studii avansate, în special la facultățile de drept. O metodă alternativă de evaluare a validității argumentelor este tabelul de adevăr.