Scribd
Cargar
1K vistas1 página

Equivalencias Logicas

El documento presenta una serie de ejercicios sobre equivalencias lógicas. Los ejercicios 1-5 piden determinar si ciertas proposiciones son equivalentes o no, mientras que los ejercicios 6-10 piden demostrar la equivalencia de ciertas proposiciones usando propiedades o teoremas de lógica.

Cargado por

Johan Franz Contreras Orellana
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
1K vistas1 página

Equivalencias Logicas

El documento presenta una serie de ejercicios sobre equivalencias lógicas. Los ejercicios 1-5 piden determinar si ciertas proposiciones son equivalentes o no, mientras que los ejercicios 6-10 piden demostrar la equivalencia de ciertas proposiciones usando propiedades o teoremas de lógica.

Cargado por

Johan Franz Contreras Orellana
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

EQUIVALENCIAS LOGICAS EQUIVALENCIAS LOGICAS

Determine si las siguientes proposiciones son equivalentes o no. Determine si las siguientes proposiciones son equivalentes o no.

1. [(p ∧ ∼q) v ∼ (q ∧ ∼p)] con [(p ⇒ q)⇒(q ⇒ p) ] 1. [(p ∧ ∼q) v ∼ (q ∧ ∼p)] con [(p ⇒ q)⇒(q ⇒ p) ]
2. (p ⇔ q) con (∼p ⇔ ∼q) 2. (p ⇔ q) con (∼p ⇔ ∼q)
3. [p ⇒ (q v r)] con [(p⇒ q) v (q⇒ r)] 3. [p ⇒ (q v r)] con [(p⇒ q) v (q⇒ r)]
4. [p ⇒ (q ∧ r)] con [∼p v (q ∧ r)] 4. [p ⇒ (q ∧ r)] con [∼p v (q ∧ r)]
5. [∼ (p v q)] con (∼p v ∼q) 5. [∼ (p v q)] con (∼p v ∼q)

EJERCICIOS PROPUESTOS EJERCICIOS PROPUESTOS

Uso de Propiedades o Teoremas Lógicos Demuestre las siguientes Uso de Propiedades o Teoremas Lógicos Demuestre las siguientes
equivalencias utilizando las propiedades o teoremas de lógica. equivalencias utilizando las propiedades o teoremas de lógica.

1. [[(∼q v r) ⇒ q] ⇒ (p ∧ r)] ⇔ [(∼q v p) ∧ (∼q v r)] 1. [[(∼q v r) ⇒ q] ⇒ (p ∧ r)] ⇔ [(∼q v p) ∧ (∼q v r)]
2. [(p ⇒ q) ∧ (∼p ⇒ q)] ⇔ q 2. [(p ⇒ q) ∧ (∼p ⇒ q)] ⇔ q
3. [(p ⇒ q) ∧ (p ⇒ r)] ] ⇔ [p ⇒ (q ∧ r)] 3. [(p ⇒ q) ∧ (p ⇒ r)] ] ⇔ [p ⇒ (q ∧ r)]
4. [(p q) ⇒ (p ∧ q)] ⇔ (p ⇔ q) 4. [(p q) ⇒ (p ∧ q)] ⇔ (p ⇔ q)
5. [(p ⇔ ∼q) ∧ (q ∧ ∼p)] ⇔∼ (q ⇒ p) 5. [(p ⇔ ∼q) ∧ (q ∧ ∼p)] ⇔∼ (q ⇒ p)
6. [(p ∧ ∼q) v (p ∧ r) ] ⇒ (q ∧ r) es la negación de: ∼ (p ⇒ q) 6. [(p ∧ ∼q) v (p ∧ r) ] ⇒ (q ∧ r) es la negación de: ∼ (p ⇒ q)
7. (p ⇒q) ⇔ [ (∼q ⇒ ∼p) 7. (p ⇒q) ⇔ [ (∼q ⇒ ∼p)
8. [(∼ (p ∧ q))⇒ r] ⇔ [ ∼[(p ⇒ ∼q) ∧ ∼r] 8. [(∼ (p ∧ q))⇒ r] ⇔ [ ∼[(p ⇒ ∼q) ∧ ∼r]
9. Probar que las tres proposiciones siguientes son equivalentes: 9. Probar que las tres proposiciones siguientes son equivalentes:

p ⇒ (q v r) p ⇒ (q v r)

(p ∧ ∼q) ⇒ r (p ∧ ∼q) ⇒ r

(p ⇒q) v (p ⇒ r) (p ⇒q) v (p ⇒ r)

10. Probar que ∼ p es equivalente con [(p v q) ⇒ ( ∼p ∧ q)] ∧ (p ⇒ q) 10. Probar que ∼ p es equivalente con [(p v q) ⇒ ( ∼p ∧ q)] ∧ (p ⇒ q)

También podría gustarte