UNIVERSIDAD PRIVADA 9.

LEYES DEL BICONDICIONAL

SAN JUAN BAUTISTA

DOCENTE: MAG. ROBERTO HUAYANCA ESPINO

9.1. (p q) (p q) (q p)

MATEMTICA BSICA 9.2. (p q) (p q) (~p ~q)

LEYES LGICAS O EQUIVALENCIAS
NOTABLES 10. LEYES DE LA ABSORCIN
Existen equivalencias que permiten transformar
esquemas o proposiciones en otras ms sencillas o ms 10.1. p (p q) p
complejas equivalentes con l.
Las leyes lgicas son de gran utilidad en la 10.3. p (~p q) p q
simplificacin de esquemas proposicionales ya que es
10.2. p (p q) p
vlido reemplazar una proposicin por su equivalente
sin alterar el resultado.
10.4. p (~p q) p q
1. LEYES DEL TERCIO EXCLUIDO
11. LEYES DE TRANSPOSICIN
1.1. p ~p V 1.2. p ~p F (p q) ~q ~p
11.1.
2. LEY DE INVOLUCIN O DOBLE NEGACIN (p q) ~q ~p
11.2.
~(~p) p
12. LEYES DE EXPORTACIN
3. LEY DE IDEMPOTENCIA
12.1. (p q) r p (q r)
3.1. pp p 3.2. pp p
12.2. (p1 p2 p3 pn ) r
4. LEYES CONMUTATIVAS
(p1 p2 p3 pn1 ) (pn r)
4.1. p q q p 4.2. p q q p 13. ELEMENTOS NEUTROS PARA LA CONJUNCIN
5. LEYES ASOCIATIVAS Y DISYUNCIN

5.1. p q r (p q) r p (q r) 13.1. p V p, V neutro de la Conjuncin

5.2. p q r (p q) r p (q r) 13.2. p F p, F neutro de la Disyuncin

6. LEYES DISTRIBUTIVAS 14. EXPANSIN

6.1. p (q r) (p q) (p r) 14.1. p (q ~q) q ~q

6.2. p (q r) (p q) (p r) 15. TAMBIEN:

6.3. p (q r) (p q) (p r) 15.1. (p q) (p ~q) p

6.4. p (q r) (p q) (p r) 15.2. (p q) (p ~q) p

7. LEYES DE MORGAN 16. LEY DE LA DISYUNCIN EXCLUSIVA

7.1. ~(p q) ~p ~q (p ~q) (~p q)

7.2. ~(p q) ~p ~q (p q) (p q)

8. LEYES DEL CONDICIONAL (p q) ~(p q)

8.1. p q ~p q ~(p q) ~(~p q)

8.2. ~(p q) p ~q