Carrera:

Ciclo: Cá lculo Proposicional

Nombre del mó dulo: Reglas de equivalencia e inferencia

Tema: 1.1 Reglas de equivalencia

Nombre:
CP5nombre

Instrucción: Utilizando las reglas de equivalencia, resuelve los ejercicios de simplificació n y

equivalencia de proposiciones compuestas, segú n se indica en cada caso. Guarda tu archivo
CP5.TuprimernombreTuprimerapellido.doc y sú belo como tarea.

1.1.- Paralas proposiciones que se muestran a continuación realiza la tabla de verdad e

indica los pares de proposiciones que son o no equivalentes al revisar la evaluación de
sus tablas de verdad.
¿Son equivalentes las
Proposiciones proposiciones?
a) [(p ∧ ∼q) v ∼ (q ∧ ∼p)] con [(p → q) →(q → p) ]
b) (p ↔ q) con (∼p ↔ ∼q)
c) [p → (q ∨ r)] con [(p → q) ∨ (q → r)]
d) [p → (q ∧ r)] con [∼p ∨ (q ∧ r)]
e) [∼ (p ∨ q)] con (∼p ∨ ∼q)

1.2. Para las proposiciones del ejercicio anterior que determinaste que son equivalentes por
su tabla de verdad, debes demostrar que son equivalentes utilizando las reglas de
equivalencia del tema 3.1 Reglas de equivalencia. Para cada par de proposiciones debes
indicar la regla de la regla de equivalencia que utilizaste y la proposición que resulta de
utilizar cada regla, hasta realices la demostración. Agrega renglones a cada una de las tablas
en caso de requerir aplicar más de 3 reglas de equivalencia.

a) [(p ∧ ∼q) v ∼ (q ∧ ∼p)] con [(p → q) →(q → p) ]

Regla de equivalencia Proposición que resulta de aplicar la
regla de equivalencia

b) (p ↔ q) con (∼p ↔ ∼q)

Regla de equivalencia Proposición que resulta de aplicar la
regla de equivalencia

c) [p → (q ∨ r)] con [(p → q) ∨ (q → r)]

Regla de equivalencia Proposición que resulta de aplicar la
regla de equivalencia
d) [p → (q ∧ r)] con [∼p ∨ (q ∧ r)]
Regla de equivalencia Proposición que resulta de aplicar la
regla de equivalencia

e) [∼ (p ∨ q)] con (∼p ∨ ∼q)

Regla de equivalencia Proposición que resulta de aplicar la
regla de equivalencia

2.- Obtén la tabla de verdad de la siguientes 3 proposiciones para probar las tres
proposiciones son equivalentes.

a) p → (q ∨ r)
Tabla de verdad:

b) (p ∧ ∼q) → r
Tabla de verdad:

c) (p → q) ∨ (p → r)
Tabla de verdad: