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