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