9. DISYUNCION Si unimos dos proposiciones simples y/o compuestas mediante el conectivo “O” formamos la proposición compuesta llamada Disyunción . la que denotamos así p o q , o en símbolos p v q En donde la siguiente tabla de verdad muestra como se comporta p q p v q v v V v f V f v V f f F
16. TABLA DE REGLAS DE INFERENCIA A,B l= A^B Ley de combinación A^B l= B Ley de simplificación A^B l= A Variante de la simplificación A l= AvB Ley de Adición B l= AvB Variante de Ley de Adición A, A -> B l= B Modus Ponens ~B , A -> B l= ~A Modus Tollens A->B,B->C l= A->C Silogismo hipotético AvB, ~A l= B Silogismo disyuntivo AvB, ~B l= A Variante de Silogismo disyuntivo A->B, ~A ->B l= B Ley de casos A <-> B l= A->B Eliminación de la Equivalencia A <-> B l= B->A Variante Eliminación de Equivalencia A->B,B->A l=A<->B Introducción de la Equivalencia A, ~ A l= B Ley de Inconsistencia