LEYES DE ÁLGEBRA PROPORCIONAL

1. Ley de IDENPOTENCIA: para ^ y v

a) p ^ p = p
b) p v p = p
 2 es número par o 2 es número par.

2. Ley de IDENTIDAD para ^ y v

a) P ^ (F) = F c) p v (F) = p
b) P ^ (V) = p d) p v (V) = V

3. Leyes CONMUTATIVAS para ^ y v

a) (p ^ q) = (q ^ p)
b) (p v q) = (q v p)

4. Leyes ASOCIATIVAS
a) (p v q) v r = p v ( q v r)
b) (p ^ q ) ^ r = p ^ (q ^ r)

5. Ley DIATRIBUTIVA
a) p ^ (q v r ) = (p ^ q) v (p ^ r)
b) p v (q ^ r) = (p v q) ^ (p v r)

6. Ley de la DOBLE NEGACIÓN

¬ ( ¬p) = p
No es cierto que 2+2 ≠ 4 = 2 + 2 = 4

7. Ley del TERCER ESCLUIDO

a) (p v ¬p) = V

8. Ley de la CONTRADICCIÓN
a) (p ^ ¬p) = F

9. Ley de De MORGAN
Si p y q son proposiciones simples o compuestas, tenemos
a) ¬ (p ^ q) = ¬p v ¬q Nos enseña a negar una conjunción. Una conjunción se cambia por una disyunción.
b) ¬ (p v q) = ¬p ^ ¬q Nos enseña a negar una disyunción. Una conjunción se cambia por una conjunción.

10. Leyes de la CONDICIONAL

a) (p q) = ¬p v q
b) (p q) = (¬ q ^ ¬p)

11. Ley de la BICONDICIONAL

a) (p q) = (p q) ^ (q p)
b) (p q) = (¬p v q) ^ (¬q v p)

12. Leyes de la conjunción negativa

P q = ¬p ^ ¬q
13. Leyes de la Disyunción Exclusiva
P v q = (p v q) ^ ¬ (p ^ q)
REGLAS DE INFERENCIA