Datos del alumno Fecha

Nombres: Robinson Daniel

29/5/2022
Apellidos: Moncayo Robles

Desarrollo de la Actividad
Desarrollo de ejercicios con cálculo de enunciados (MP, TD, Simp, Prod)

Descripción de la actividad

Construya una prueba formal de validez de cada uno de los ejercicios presentados con el empleo

de las cuatro primeras reglas básicas de la deducción: Modus ponens, Teorema de la deducción,

Simplificación, Producto.

Ejercicios:

a)

_1. A → (B ∧ C)

_2. B → (D ∧ E)

_3. X → Y

_4. Y → (Z ∧ W) ˫ (A → E) ∧ (X → W)

b)

_1. A → [B → (C → D)]

_2. X → (Y ∧ W)

_3. X

_4. X → (Z ∧ T)

˫ B → {[C →(A → D)] ∧ (Y ∧ Z)}

Nombre de la Institución Educativa

c)

_1. (Y ∧ Z) → D

_ 2. Y ∧ Z

_ 3. (Y ∧ Z) → T

_ 4. W → Z

˫ W → [Z ∧ (D ∧ T)]

d)

_1. E → (F ∧ G)

_ 2. (C ∧ A) → B

_ 3. F → [(D ∧ C) ∧ A]

˫ E → (D ∧ B)

Universidad Politécnica Salesiana

2
Nombre de la Institución Educativa

e)

_1. (¬ J v ¬ ¬ J) → (I ∧ H)

_2. ¬ (¬ J v ¬ ¬ J) → (I ∧ K)

_3. (¬ J v ¬ ¬ J) ∧ ¬ (¬ J v ¬ ¬ J)

˫ I → (H ∧ K)

f)

_1. U ∧ P

_2. W ∧ O

_3. X v Y

˫ {Z v A → [(M v N) → (U ∧ W)]} ∧ [(X v Y) ∧ (O ∧ P)]

Universidad Politécnica Salesiana

3
Nombre de la Institución Educativa

g)

_1. P → Q

_2. Q → (R ∧ T)

_3. (R ∧ T) → S

_4. S → (T v S)

_5. Q

˫ [(P ∧ R) → [(T v S)] ∧ Q]

h)

_1. R v S

_2. T → [P → (¬ Q v R)] ∧ S

_3. [P → (¬ Q v R) ∧ S] → {(R v S) → [¬ S → (P → R)]}

_4. Q ˫ {(T ∧ M) → [¬ S → (P → R)]} ∧ Q

Universidad Politécnica Salesiana

4
Nombre de la Institución Educativa

i)

_1. P → (Q ∧ R)

_2. Q → [(S v T) → (R ∧ S)]

_3. [(S v T) → (R ∧ S)] → W

_ 4. S

˫ (P ∧ S) → (W ∧ S)

j)

_1. (B ∧ C) → (A ∧ C)

_2. (C ∧ B) → (R ∧ S)

˫ C → [B → (A ∧ S)]

Universidad Politécnica Salesiana

5