Scribd
Cargar
1K vistas6 páginas

Proposiciones Equivalentes

Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo: 1) la definición de proposiciones equivalentes y ejemplos; 2) doce leyes lógicas como la ley de involución y las leyes de Morgan; 3) ejemplos resueltos de simplificación de proposiciones usando las leyes; y 4) ejercicios propuestos para la clase.

Cargado por

avargasl
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
1K vistas6 páginas

Proposiciones Equivalentes

Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo: 1) la definición de proposiciones equivalentes y ejemplos; 2) doce leyes lógicas como la ley de involución y las leyes de Morgan; 3) ejemplos resueltos de simplificación de proposiciones usando las leyes; y 4) ejercicios propuestos para la clase.

Cargado por

avargasl
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

MATEMÁTICA I

LÓGICA PROPOSICIONAL

DOCENTE: MG. MARCIAL SÁNCHEZ ROLDÁN


PROPOSICIONES EQUIVALENTES
Dos o más proposiciones simples o compuestas, son equivalentes cuando
tienen la misma tabla de verdad teniendo en cuenta el orden de las
posibilidades consideradas.
Ejemplo 1 Ejemplo 2
a) ~p v q b) p → q c) ~p ^ ~q d) ~(p v q)
p q ~p v q p q p → q p q ~p ^ ~q p q ~(p v q)
V V F V V V V V V V V V F F F V V F V
V F F F F V F V F F V F F F V V F F V
F V V V V F V F V V F V V F F F V F V
F F V V F F F F V F F F V V V F F V F

Conclusión: Conclusión:
~p v q Ξ p → q ~p ^ ~q Ξ ~(p v q)
LEYES LÓGICAS
1) Ley de Involución (doble 5) Leyes distributivas:
negación): ~(~ p) Ξ p
a) p ᴧ (q ᴠ r) Ξ (p ᴧ q) ᴠ (p ᴧ r)
2) Ley de Idempotencia:
b) p ᴠ (q ᴧ r) Ξ (p ᴠ q) ᴧ (p ᴠ r)
a) p ᴠ p Ξ p
c) p → (q ᴧ r) Ξ (p → q) ᴧ (p → r)
b) p ᴧ p Ξ p
d) p → (q ᴠ r) Ξ (p → q) ᴠ (p → r)
3) Leyes conmutativas:
6) Leyes de Morgan:
a) p ᴧ q Ξ q ᴧ p
a) ~ (p ᴧ q) Ξ ~ p ᴠ ~ q
b) p ᴠ q Ξ q ᴠ p
b) ~ (p ᴠ q) Ξ ~ p ᴧ ~ q
c) p ↔ q Ξ q ↔ p
7) Leyes condicionales:
4) Leyes asociativas:
a) p → q Ξ ~ p ᴠ q
a) (p ᴧ q) ᴧ r Ξ p ᴧ (q ᴧ r)
b) ~ (p → q) Ξ p ᴧ ~ q
b) (p ᴠ q) ᴠ r Ξ p ᴠ (q ᴠ r)
c) (p ↔ q) ↔ r Ξ p ↔ (q ↔ r)
LEYES LÓGICAS
8) Leyes de transposición: 10) Leyes Bicondicionales:
a) (p → q) Ξ ~q → ~p a) p ↔ q Ξ (p → q) ᴧ (q → p)
b) (p ↔ q) Ξ ~q → ~p b) p ↔ q Ξ (p ᴧ q) ᴠ (~ p ᴧ ~q)

9) Leyes de absorción: 11) Leyes de Exportación:

a) p ᴧ (p ᴠ q) Ξ p (p ᴧ q) → r Ξ p → (q→ r)

b) p ᴧ (~ p ᴠ q) Ξ p ᴧ q 12) Disyunción fuerte:


c) p ᴠ (p ᴧ q) Ξ p p ∆ q Ξ ~ (p ↔q)
d) p ᴠ (~ p ᴧ q) Ξ p ᴠ q
EJERCICIOS RESUELTOS
1) Simplificar la proposición: p ᴧ (q → p)
Resolución:
p ᴧ (q → p) Ξ p ᴧ (~q v p) (condicional)
Ξp (absorción)
p ᴧ (q → p) Ξ p
2) Simplificar la proposición: ~p v (p ^ ~q)
Resolución:
~p v (p ^ ~q) Ξ (~p v p) ^ (~p v ~q) (distributiva)
Ξ V ^ (~p v ~q) (complemento)
Ξ (~p v ~q) (elemento neutro)
Ξ ~(p ^ q) (de Morgan)
~p v (p ^ ~q) Ξ ~(p ^ q)
EJERCICIOS PARA LA CLASE
1) Dadas las siguientes proposiciones:

I) (~p v q) → p II) (p → q) v (p ^ q) III) (p ↔ ~q) → (~p ^ q)

¿Cuáles son lógicamente equivalentes?

2) Simplificar el esquema: (~ p ᴧ q) → (q → p)

3) Simplificar la proposición: [(p → q) ᴧ ~ q] → ~ p

4) Simplificar la proposición: [(~ p ᴧ q) → (r ᴧ ~ r)] ᴧ ~ q

5) Simplificar la proposición: ~(p v ~ q)] → ~ q

6) Simplificar la proposición: (p v q) → (~ p ᴧ q)

También podría gustarte