järeldusreeglid
Järeldusreeglid ehk deduktiivsed reeglid on formaalse loogika ja matemaatika alustalad, mis võimaldavad uute tõdede tuletamist juba teadaolevatest või aksioomidest. Need reeglid tagavad, et kui lähtetingimused on tõesed, siis ka järeldus peab olema tõene. Järeldusreeglid ei lisa uut informatsiooni maailma kohta, vaid selgitavad ja organiseerivad olemasolevat.
Üks tuntumaid järeldusreegleid on Modus Ponens. See väidab, et kui meil on väide "kui P siis Q"
Järeldusreegleid kasutatakse laialdaselt erinevates valdkondades, alates matemaatilisest tõestamisest ja programmeerimisest kuni teadusliku uurimistöö ja filosoofiani. Need