Leyes del Algebra de Proposiciones El algebra de proposiciones es un algebra que se ejecuta utilizando ciertas tautologas (llamadas tambin leyes

lgicas). Dichas tautologas se ven a continuacin: Leyes de idempotencia 1a. P v P < -- > P 1b. P ^ P < -- > P Leyes asociativas 2a. (P v Q) v R < -- > P v (Q v R) 2b. (P ^ Q) ^ R < -- > P ^ (Q ^ R) Leyes conmutativas 3a. P v Q < -- > Q v P 3b. P ^ Q < -- > Q ^ P Leyes distributivas 4a. P v (Q ^ R) < -- > (P v Q)^(P v R) 4b. P ^ (Q v R) < -- > (P ^ Q)v(P ^ R) Leyes de identidad 5a. P v F < -- > P 5b. P ^ V < -- > P 6a. P v V < -- > V 6b. P ^ F < -- > F Leyes del complemento 7a. P v ~P < -- > V 7b. P ^~P < -- > F 8a. ~~P < -- > P 8b. ~V < -- > F ; ~F < -- > V

Leyes de De Morgan 9a. ~(P v Q) < -- > ~P ^ ~Q 9b. ~(P ^ Q) < -- > ~P v ~Q

Reglas de Inferencia Lgica Para demostrar que es vlido un razonamiento lgico es necesario utilizar ciertas reglas que se llaman reglas de inferencia (o de deduccin), entre ellas las ms utilizadas son las siguientes: Modus Ponendo Ponens pq p p Afirmando el antecedente se afirma el consecuente Modus Tollendo Tollens pq ~q ~p Negando el consecuente, se niega el antecedente Modus Tollendo Ponens pvq ~p q O tambin pvq ~q p Si se tiene una disyuncin y negando una de las proposiciones que la forman, se afirma la otra proposicin

Ley de Adjuncin p q p^q Si tenemos dos proposiciones verdaderas, entonces la conjuncin de ambas tambin es verdadera Ley de Simplificacin p^q p O tambin p^q q Si tenemos una conjuncin verdadera, entonces son verdaderas cada una de las proposiciones que la conforman Ley del Silogismo Hipottico pq qr pr pq qr rs st tu pu Ley del Silogismo Disyuntivo pr st pvs rvt Teniendo dos condicionales verdaderas y la disyuncin de sus antecedentes tambin verdadera, se concluye que la disyuncin de sus consecuentes tambin es verdadera

Ley de Adicin p pvs Teniendo cualquier proposicin verdadera, se puede concluir que tambin es verdadera la disyuncin incluyente de esa proposicin con cualquier otra Ley de las Bicondicionales p <--> q p q O tambin p <--> q qp Cualquier doble implicacin puede convertirse en cualquier implicacin, pero no a la inversa Ley de la Doble Negacion ~~p p O tambin p ~~p