Slutledningsregler

Modus (ponendo) ponens (MP)	Modus tollendo tollens (MTT)	Modus tollendo ponens (MTP)
P Q P ______ Q	P Q ¬Q ______ ¬P	P Q ¬P ______ Q	P Q ¬Q ______ P

Introduktionsregler (I)
P ____ ¬¬P	P Q _____ P Q	P _____ P Q Q P	P Q Q P ______ P Q

Elimineringsregler (E)
¬¬P ____ P	P Q _____ P Q	P P _____ P	P Q ______ P Q Q P

regeln för villkorligt bevis	regeln för indirekt bevis	hypotetiska syllogismregeln	disjunktiva syllogismregeln
[P] Q ______ P Q	¬Q  P ¬P ____________ Q	P Q Q R ______ P R	P Q P R Q S ______ R S

De Morgans regler (DM)
P Q __________ ¬(¬P ¬Q)	¬(P Q) ________ ¬P ¬Q	P Q __________ ¬(¬P ¬Q)	¬(P Q) ________ ¬P ¬Q

Kommutativa regler
P Q ______ Q P	P Q ______ Q P

Slutledningsreglerna i formatet pdf

Tillbaka