Loogikas ja filosoofias viitavad järeldusreeglid rea reeglitele, mida kasutatakse tõe parameetrite määratlemiseks antud olukorra kontekstis. Neid kasutatakse tavaliselt paljudes loogika ja matemaatika valdkondades ning need määratlevad loogilisi vorme või argumentide vorme. Iga järeldusreegel on sisuliselt erinev valem argumendi tõesuse määramiseks antud kontekstis. Järeldusreeglit võib nimetada ka järeldusreegliks.
Järeldusreeglid esinevad väga paljudes mõttevaldkondades, sealhulgas loogika ja matemaatika valdkondades, nagu sümboolne loogika, klassikaline loogika ja arvutus. Tavaliselt on need juhised selle valdkonna teabe töötlemiseks. Enamiku inimeste jaoks on kõige tuntum järeldusreeglite kogum propositsiooniloogikast.
Neid reegleid kasutatakse hindamismeetodis, mida nimetatakse loomulikuks mahaarvamiseks. Üheksa põhireeglit juhivad väidete tõestamist loomuliku deduktsiooni alusel. Neid järeldusreegleid väljendatakse sageli sümbolite ja muutujate abil, mis esindavad esitatud tingimusi. Rühma paar esimest reeglit on kõige laialdasemalt kasutatavad. Modus ponens on kui-siis argument, mis väidab, et kuna ühe asja, mida tuntakse asjana O, olemasolu tähendab, et eksisteerib ka teine asi, mida tuntakse asjana A, siis algse asja olemasolu tähendab, et viimane asi on loogiliselt olemas.
Teine järelduse reegel on Modus tollens, mida tuntakse ka kui tagajärje eitamist. Sidesõna sissejuhatus on järeldus, mis väidab, et kui R on tõene ja I on samuti tõene, siis R ja A on tõesed. Lihtsustuse järeldus on sisuliselt vastupidine; see ütleb, et kui A ja R on tõesed, siis A on tõene ja R on tõene. Teised järeldusreeglid loogikas hõlmavad disjunktsiooni sissejuhatust ja kõrvaldamist, disjunktiivset ja hüpoteetilist süllogismi, samuti kahetingimustelist sissejuhatust ja kõrvaldamist ning konstruktiivset ja destruktiivset dilemmat.
Argumendi hindamisel järeldamisreegli abil lähtub argumenti hindav isik põhimõttel, et argumenteeritud eeldused on tõesed. Järeldusreegel on üks meetod paljudest, mida kasutatakse teabe töötlemisel väidete seerias, et välja selgitada, kas teave võib olla tõene. Selle argumendi tõestamise meetodi õppimine on kasulik testide puhul, mis keskenduvad argumentide tõestamisele, nagu testid, mis on vajalikud paljudele edasijõudnute kraadiõppe programmidele, eriti õiguskoolidele sisenemiseks. Alternatiivne meetod argumentide kehtivuse hindamiseks on tõetabel.