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

Regler för predikatlogiska slutledningar (introduktions- och elimineringsregler)
xP(x) ______ P(a)	P(a) ______ xP(x)	P(a) ______ xP(x)	x P(x) _______ P(a)

I regeln för introduktion av allkvantifikator  (I) och regeln för eliminering av existenskvantifikator (E) ställs vissa villkor på a. Då det gäller introduktion av allkvantifikatorn skall a vara en godtycklig individ. Då det gäller introduktion av allkvantifikatorn får a inte ha förekommit tidigare i härledningen. Individtermen a är här en tillfällig konstant, som inte ingår i slutsatsen. Speciellt gäller att I inte kan tillämpas på P(a) om P(a) erhålits från x P(x) genom regeln E.

Slutledningsreglerna i formatet pdf

Tillbaka