W logice i filozofii reguły wnioskowania odnoszą się do szeregu reguł używanych do określenia parametrów prawdy w kontekście danej sytuacji. Są one powszechnie używane w wielu dziedzinach logiki i matematyki oraz definiują formy logiczne lub formy argumentów. Każda reguła wnioskowania jest zasadniczo inną formułą określania prawdziwości argumentu w danym kontekście. Regułę wnioskowania można również nazwać regułą wnioskowania.
Reguły wnioskowania występują w bardzo wielu dziedzinach myśli, w tym w logice i matematyce, takich jak logika symboliczna, logika klasyczna i rachunek różniczkowy. Są to zazwyczaj wskazówki dotyczące przetwarzania informacji w tym zakresie. Dla większości ludzi najbardziej znany zbiór reguł wnioskowania pochodzi z logiki zdań.
Reguły te są stosowane w ramach metody oceny zwanej dedukcją naturalną. Weryfikację oświadczeń w ramach odliczenia naturalnego kieruje się dziewięcioma podstawowymi zasadami. Te reguły wnioskowania są często wyrażane za pomocą symboli i zmiennych reprezentujących określone warunki. Najczęściej stosuje się kilka pierwszych zasad grupy. Modus ponens jest argumentem jeśli-to, który stwierdza, że skoro istnienie jednej rzeczy, znanej jako rzecz O, oznacza, że istnieje również inna rzecz, znana jako rzecz A, istnienie pierwotnej rzeczy oznacza, że ta druga rzecz istnieje logicznie.
Drugą zasadą wnioskowania jest Modus tollens, znany również jako zaprzeczanie następnikowi. Wprowadzenie koniunkcji to wnioskowanie, które stwierdza, że jeśli R jest prawdziwe, a I również jest prawdziwe, to R i A są prawdziwe. Wniosek dotyczący uproszczenia jest zasadniczo odwrotny; stwierdza, że jeśli A i R są prawdziwe, to A jest prawdziwe, a R jest prawdziwe. Inne reguły wnioskowania w logice to alternatywny wstęp i eliminacja, dysjunktywny i hipotetyczny sylogizm, dwuwarunkowy wstęp i eliminacja oraz dylemat konstruktywny i destrukcyjny.
Oceniając argument za pomocą reguły wnioskowania, oceniający argumentuje kierując się zasadą, że argumentowane przesłanki są prawdziwe. Reguła wnioskowania jest jedną z wielu metod stosowanych w przetwarzaniu informacji w serii zdań, aby dowiedzieć się, czy informacja może być prawdziwa. Nauka tej metody sprawdzania argumentów jest pomocna w testach, które koncentrują się na sprawdzaniu argumentów, takich jak testy potrzebne do przystąpienia do wielu zaawansowanych programów studiów, zwłaszcza szkół prawniczych. Alternatywną metodą oceny słuszności argumentów jest tabela prawdy.