Logiikassa ja filosofiassa päättelysäännöt viittaavat sääntöjen sarjaan, jota käytetään määrittämään totuuden parametrit tietyssä tilanteessa. Niitä käytetään yleisesti monilla logiikan ja matematiikan aloilla, ja ne määrittelevät loogisia muotoja tai argumenttimuotoja. Jokainen päätelmäsääntö on oleellisesti erilainen kaava väitteen totuuden määrittämiseksi tietyssä kontekstissa. Päätössääntöä voidaan kutsua myös päätelmäsääntöön.
Päätössääntöjä esiintyy monilla ajattelualueilla, mukaan lukien logiikka ja matematiikan alat, kuten symbolinen logiikka, klassinen logiikka ja laskenta. Ne ovat yleensä suuntaviivoja alan tietojen käsittelyyn. Useimmille ihmisille tunnetuimmat johtopäätökset tulevat ehdotuslogiikasta.
Näitä sääntöjä käytetään arviointimenetelmässä, jota kutsutaan luonnolliseksi vähennykseksi. Yhdeksän perussääntöä ohjaa lausuntojen todentamista luonnollisella vähennyksellä. Nämä johtopäätökset ilmaistaan usein symboleilla ja muuttujilla, jotka edustavat ilmoitettuja ehtoja. Ryhmän ensimmäiset säännöt ovat yleisimmin käytettyjä. Modus ponens on jos-sitten-argumentti, jossa todetaan, että koska yhden asian, joka tunnetaan nimellä asia O, olemassaolo tarkoittaa, että myös toinen asia, joka tunnetaan nimellä asia A, on olemassa, alkuperäisen asian olemassaolo tarkoittaa sitä, että jälkimmäinen asia on loogisesti olemassa.
Toinen päätelmäsääntö on Modus tollens, joka tunnetaan myös kieltämällä seuraus. Konjunktion johdanto on johtopäätös, jossa todetaan, että jos R on totta ja I on myös totta, niin R ja A ovat totta. Yksinkertaistamispäätelmä on pohjimmiltaan päinvastainen; siinä todetaan, että jos A ja R ovat totta, niin A on totta ja R on totta. Muita päättelysääntöjä logiikassa ovat disjunktion käyttöönotto ja eliminointi, disjunktiivinen ja hypoteettinen syllogismi sekä kahden ehdollinen käyttöönotto ja eliminointi sekä rakentava ja tuhoava dilemma.
Arvioidessaan väitettä päätelmissäännön avulla väitteen arvioija toimii periaatteella, jonka mukaan väitetyt oletukset ovat totta. Päätelmäsääntö on yksi monista menetelmistä, joita käytetään tietojen käsittelyssä useissa lausekkeissa selvittääkseen, voivatko tiedot mahdollisesti pitää paikkansa. Tämän argumentin todentamismenetelmän oppiminen on hyödyllistä testeissä, jotka keskittyvät argumenttien todistamiseen, kuten kokeisiin, joita tarvitaan monien edistyneiden koulutusohjelmien, erityisesti lakikoulujen, pääsemiseksi. Vaihtoehtoinen menetelmä argumenttien pätevyyden arvioimiseksi on totuustaulukko.