Scribd
Cargar
89 vistas4 páginas

Ejercicios de Logica

Este documento presenta ejercicios de las leyes del álgebra de proposiciones. Se resuelven 5 ejercicios aplicando diferentes leyes como la condicional, D'Morgan, distribución y otras para derivar igualdades proposicionales.

Cargado por

Cesar Saenz
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 DOCX, PDF, TXT o lee en línea desde Scribd
89 vistas4 páginas

Ejercicios de Logica

Este documento presenta ejercicios de las leyes del álgebra de proposiciones. Se resuelven 5 ejercicios aplicando diferentes leyes como la condicional, D'Morgan, distribución y otras para derivar igualdades proposicionales.

Cargado por

Cesar Saenz
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 DOCX, PDF, TXT o lee en línea desde Scribd

EJERCICIOS DE LAS LEYES DEL ALGERBA DE PROPOSICIONES

Realizado por: Cesar Saenz, Julián mora y David leonardo

1) [[(¬q v r) →q] → (p ∧ r)] ↔ [(¬q v p) ∧ (¬q v r)]

Ley Condicional

[[¬ (¬q v r) v q] → (p ∧ r)] ↔ [(¬q v p) ∧ (¬q v r)]

Ley Condicional

[¬ [¬ (¬q v r) v q] v (p ∧ r)] ↔ [(¬q v p) ∧ (¬q v r)]

Ley D’ Morgan

[¬ [(q ∧ ¬r) v q] v (p ∧ r)] ↔ [(¬q v p) ∧ (¬q v r)]

Ley D’ Morgan

[[ ¬ (q∧ ¬r) ∧ ¬q] v (p ∧ r)] ↔ [(¬q v p) ∧ (¬q v r)]

Ley D’ Morgan

[ [ (¬ q v r) ∧ ¬q] v (p ∧ r)] ↔ [(¬q v p) ∧ (¬q v r)]

Ley Conmutativa

[ ¬q ∧ (¬q v r) v (p ∧ r)] ↔ [(¬q v p) ∧ (¬q v r)]

Ley Absorción

[¬q v (p ∧ r)] ↔ [(¬q v p) ∧ (¬q v r)]

Ley Distributiva

[(¬q v p) ∧ (¬q v r)] ↔ [(¬q v p) ∧ (¬q v r)]


2) [(p → q) ∧(¬p → q)] ↔ q

Ley Condicional

[(¬p v q) ∧ (¬(¬p) v q)] ↔ q

Ley del complemento

[(¬p v q) ∧ (p v q)] ↔ q

Ley Conmutativa

[(q v ¬p) ∧(q v p)] ↔ q

Ley Distributiva

q v (¬p ∧ p) ↔ q

ley conmutativa

q v (p ∧ ¬p) ↔ q

Ley del complemento

qv0↔q

Ley de identidad

q↔q

3) [(p → q) ∧ (p → r)] ↔ [p→(q∧r )

Condicional

[(¬p v q) ∧ (¬p v r) ↔ [p→(q∧r )]

Distributiva.
¬p v (q∧r) ↔ [p→(q∧r )]
Condicional

[p→(q∧r )] ↔ [p→(q∧r )

4) [(p↔¬q) ∧ (q ∧¬p)] ↔ ¬(q→p)

Bicondicional
[(p→¬q) ∧ (¬q→p) ∧ (q ∧¬p)] ↔ ¬(q→p)

Condicional
[(¬p v ¬q) ∧ (¬ (¬q v p) ∧ (q ∧¬p)] ↔ ¬(q→p)

Ley del complemento

[(¬p v ¬q) ∧ (q v p) ∧ (q ∧¬p)] ↔ ¬(q→p)

Ley conmutativa

[(¬p v ¬q) ∧ (q v p) ∧ (¬p ∧ q)] ↔ ¬(q→p)

Ley asociativa

[((¬p v ¬q) ∧ (¬p ∧ q)) ∧ (q v p)] ↔ ¬(q→p)

Ley distributiva

[(¬p v (¬q ∧ q)) ∧ (q v p)] ↔ ¬(q→p)


Ley conmutativa
[(¬p v (q ∧ ¬q )) ∧ (q v p)] ↔ ¬(q→p)
Ley del complemento

[(¬p v 0) ∧ (q v p)] ↔ ¬(q→p)

Ley de identidad

[¬p ∧ (q v p)] ↔ ¬(q→p)

Ley distributiva
(¬p ∧q) v (¬p ∧ p) ↔ ¬(q→p)

Ley conmutativa

(¬p ∧q) v (p∧ ¬p) ↔ ¬(q→p)

Ley del complemento

(¬p ∧q) v o ↔ ¬(q→p)

Ley de identidad

(¬p ∧q) ↔ ¬(q→p)

Condicional

(¬p ∧q) ↔ ¬(¬q v p)

Ley D’ Morgan

(¬p ∧ q) ↔ ¬(¬q) ∧ ¬p

Ley del complemento

(¬p ∧ q) ↔ (q ∧ ¬p)

Ley conmutativa

(¬p ∧ q) ↔ (¬p ∧ q)

5) [(p ∧ ¬q) v (p ∧ r)] → (q ∧ r) es la negación de: ¬ (p →q)


Ley distributiva
[p ∧ (¬q v r)] → (q ∧ r) es la negación de: ¬ (p →q)
Condicional
¬ [p ∧ (¬q v r)] v (q ∧ r) es la negación de: ¬ (p →q)

También podría gustarte