REGLAS EL NEGADOR REGLAS DEL IMPLICADOR REGLAS DEL CONJUNTOR (DN) Doble negación

REGLAS EL NEGADOR REGLAS DEL IMPLICADOR
(DN) Doble negación
(MP)Modus Ponens
A
A!B
______________________________
REGLAS DEL CONJUNTOR
A
______________________________
______________________
ø øA
(D.M1)Ley de Morgan 1
(CC)Prop.conmutativa del conjuntor
B
(MT) Modus Tollens
ø(A"B)
A"B
A!B
_______________________________
________________________
øB
______________________________
________________________
___________________________
øA"øB
(D.M2)Ley de Morgan 2
B"A
(EC)Eliminación del conjuntor
øA
(II)Introducción del implicador
ø(A"B)
A"B
A
_________________________________ ______________________
B
_________________________________ A
_____________________________
øA"øB
(ABS)Reducción al absurdo
B
(IC)Introducción del conjuntor
A!B
(DI)Definición del Implicador
A
A
A!B
B"øB
B
___________________________
__________________________________ ______________________
____________________________
øA
ø(A"øB)
(DDI)Definición del Doble Implicad
A"B
(ECQ)Cualquier Cosa
A!B
A
A.G.M
________________________
øA
REGLAS DEL COIMPLICADOR ________________________
_____________________
A!B
B
B!A
1
(Dilema)
(CM)Conmutativa del Disyuntor
(CDI)Conmutativa del Doble Implic
A"B
A"B
A!B
A!C
_______________________________ _____________________________
____B!C ___
_______________________________ _____________________________
C
B"A
B!A
(CAS)Prueba por Casos
(SD)Silogismo Disyuntor
(ID)Introducción del Disyuntor
A"B
A"B
A
A(sup) B(sup)
øA .
_______________________
CC
B
A"B
_____________________________
C
2