(DN) Doble negación

A

______________________________

______________________________

ø øA

REGLAS DEL CONJUNTOR

(MP)Modus Ponens

A!B

A

______________________

B

(D.M1)Ley de Morgan 1

ø(A"B)

_______________________________

______________________________

øA"øB

(CC)Prop.conmutativa del conjuntor

A"B

________________________

________________________

B"A

(MT) Modus Tollens

A!B

øB

___________________________

øA

(D.M2)Ley de Morgan 2

ø(A"B)

_________________________________

_________________________________

øA"øB

(EC)Eliminación del conjuntor

A"B

______________________

A

B

(II)Introducción del implicador

A

B

_________________________________

A!B

(ABS)Reducción al absurdo

A

B"øB

__________________________________

øA

(IC)Introducción del conjuntor

A

B

______________________

A"B

(DI)Definición del Implicador

A!B

___________________________

____________________________

ø(A"øB)

(ECQ)Cualquier Cosa

A

øA

_____________________

B

A.G.M

REGLAS DEL COIMPLICADOR

(DDI)Definición del Doble Implicador

A!B

________________________

________________________

A!B

B!A

(Dilema)

A"B

A!C

____B!C ___

C

(CM)Conmutativa del Disyuntor

A"B

_______________________________

_______________________________

B"A

(CDI)Conmutativa del Doble Implicador

A!B

________________________________

________________________________

B!A

(SD)Silogismo Disyuntor

A"B

øA .

B

(ID)Introducción del Disyuntor

A

_______________________

A"B

(CAS)Prueba por Casos

A"B

A(sup) B(sup)

C C

______________________________________________

C