sönnunarreglur
Sönnunarreglur eru formlegar reglur sem notaðar eru til að leiða afleiðingar af forsendum í formlegum sönnunarkerfum fyrir rökfræði. Þær segja til um hvernig nýjar fullyrðingar megi draga af þeirri sem fyrir er, og mynda kjarnann í sönnunarfræði og í formlegri rökfræði. Kerfi hafa oft sitt eigið safn reglna, en þær tryggja réttmæti niðurstaðna með því að höfða sönnun á forsendum sem kerfið viðurkennir sem sannar.
Í náttúrulegri sönnunaraðferð eru reglurnar oft flokkskallaðar sem innleiðingarreglur og útfærslur. Dæmi: ∧-inntak frá P og
Sönnunarreglur eru grunnur fyrir formlega tölvunarfræði og vélræn sönnunarkerfi sem styðja staðfestingu forrita og stærðfræðilega fullyrðinga.