Datos del alumno Fecha

Nombres: GABRIELA PRISCILLA 4/12/2023

Apellidos: SINISTERRA TROYA

Desarrollo de la Actividad
Práctica: Desarrollo de ejercicios con cálculo de enunciados (MP, TD, Simp, Prod, Ad, Cas,
DN, Abs) Descripción de la actividad Construya una prueba formal de validez de cada uno
de los ejercicios presentados con el empleo de las ocho reglas básicas de la deducción:
Modus ponens, Teorema de la deducción, Simplificación, Producto, Adición, Prueba por
casos, Doble negación, Reducción al Absurdo

A → ¬(Q ∧ R) ∧ B Premisa
B → (Q ∧ R) Premisa

| A Supongamos A (para usar Modus Ponens)

| | Q ∧ R Supongamos Q ∧ R (para usar Simplificación)
| | B Supongamos B (para usar Modus Ponens)
| | ⊥ Contradicción (de 1 y 8)
A → ¬(Q ∧ R) ∧ B ⊢ ¬A Reducción al Absurdo (de 4-10)
A → ¬(Q ∧ R) ∧ B, B → (Q ∧ R) ⊢ A → ¬A Teorema de la deducción (de 1-12)
Prueba para el segundo ejercicio:
A → ¬(Q ∧ R) ∧ B Premisa
B → (Q ∧ R) Premisa
| A Supongamos A (para usar Modus Ponens)
| | Q ∧ R Supongamos Q ∧ R (para usar Simplificación)
| | (M v N) → (T v S) Supongamos (M v N) → (T v S) (para usar Modus Ponens)
| | (T v S) Obtención (de 6 y 8)
A → ¬(Q ∧ R) ∧ B ⊢ (Q ∧ R) → (M v N) → (T v S) Teorema de la deducción (de 4-10)
A → ¬(Q ∧ R) ∧ B, B → (Q ∧ R) ⊢ A → [(M v N) → (T v S)] Teorema de la deducción (de 1-11)
Nombre de la Institución Educativa

EJERCICIO 2
A∨(X∧Y) Premisa
(X∨C)→¬(A→X) Premisa
Supongamos
A→X para usar la reducción al absurdo.
¬(X∨C) Supongamos la negación de
(X∨C) para usar la reducción al absurdo.
X∧Y Supongamos
X∧Y para usar la simplificación (de 1).
X Simplificación (de 5).
A Adición (de 3).
X∨C Adición (de 6).
⊥ Contradicción (de 4 y 8).
¬(A→X) Reducción al absurdo (de 3-9)
¬(X∨C) Supongamos
¬(X∨C) para usar la reducción al absurdo.
X∨C Supongamos
X∨C para usar la reducción al absurdo.
Supongamos
X Supongamos
X para usar la reducción al absurdo.
¬(A→X) Teorema de la deducción (de 13-13).
⊥ Contradicción (de 11 y 14).
¬(X∨C) Reducción al absurdo (de 12-15).
¬¬(A→X) Doble negación (de 10).

Universidad Politécnica Salesiana

2
Nombre de la Institución Educativa

A→X Negación doble (de 17).

⊥ Contradicción (de 3 y 18).

¬¬(A→X) Reducción al absurdo (de 3-19).
A→X Doble negación (de 20).
¬(A→X) Negación doble (de 21).
⊥ Contradicción (de 2 y 22).
¬¬¬(A→X) Reducción al absurdo (de 2-23).
¬(A→X) Doble negación (de 24).
¬(A→X) Prueba por casos (de 3-25).
¬(A→X) Prueba por casos (de 11-26).
¬(A→X) Prueba por casos (de 2-27).
Por lo tanto, hemos demostrado
¬(A→X) bajo las premisas
A∨(X∧Y) y (X∨C)→¬(A→X), utilizando las ocho reglas básicas de deducción.

EJERCICIO 3
p→[(r→y)∨(s∧z)] Premisa
(t→w) ∧u Premisa
(r→y)→t Premisa
(s∧z)→t Premisa
w→¬u Premisa

p Supongamos

p para usar la reducción al absurdo.

Universidad Politécnica Salesiana

3
Nombre de la Institución Educativa

[(r→y)∨(s∧z)] Modus Ponens (de 1 y 6).

Supongamos
r→y para usar la prueba por casos.
t→w Simplificación (de 2).
u Simplificación (de 2).
t Modus Ponens (de 3 y 8).
s∧z Supongamos
s∧z para usar la prueba por casos.
t Modus Ponens (de 4 y 12).
¬u Modus Ponens (de 5 y 10)
⊥ Contradicción (de 10 y 14).
¬(r→y) Reducción al absurdo (de 8-15).
(r→y)∨(s∧z) Prueba por casos (de 16).
t Prueba por casos (de 13-17).
w Modus Ponens (de 9 y 18).
¬u Modus Ponens (de 5 y 10)
⊥ Contradicción (de 10 y 20).
¬p Reducción al absurdo (de 6-21).
¬p Prueba por casos (de 22).
¬p Prueba por casos (de 7-23).
Por lo tanto, hemos demostrado
¬p bajo las premisas dadas utilizando las ocho reglas básicas de deducción.

Universidad Politécnica Salesiana

4
Nombre de la Institución Educativa

EJERCICIO 4
p→q)→(¬¬¬w∧s) Premisa
(p∨q)∧w Premisa
Supongamos
w para usar la reducción al absurdo.
Supongamos
p→q para usar la prueba por casos.
p∨q Adición (de 4).
¬¬¬w∧s Modus Ponens (de 1 y 4).
¬¬¬w Simplificación (de 6).
¬w Doble negación (de 7).
⊥ Contradicción (de 3 y 8).
¬(p→q) Reducción al absurdo (de 4-9).
w→¬(p→q) Teorema de la deducción (de 3-10).
Por lo tanto, hemos demostrado
w→¬(p→q) bajo las premisas dadas utilizando las ocho reglas básicas de deducción.

EJERCICIO 5
(D∨A)→¬((C∨E)→D) Premisa
(C∨E)∨(A∧B) Premisa
Supongamos
¬((C∨E)→D) para usar la reducción al absurdo.
Supongamos
C∨E para usar la prueba por casos.

Universidad Politécnica Salesiana

5
Nombre de la Institución Educativa

Supongamos
C para usar la prueba por casos.
(C∨E)→D Adición (de 4).
⊥ Contradicción (de 3 y 6).
¬C Reducción al absurdo (de 5-7).
Supongamos
E para usar la prueba por casos.
(C∨E)→D Adición (de 9).
⊥ Contradicción (de 3 y 10).
¬E Reducción al absurdo (de 9-11).
A Prueba por casos (de 2).
B Prueba por casos (de 2).
A∧B Producto (de 13 y 14).
(C∨E)→D Adición (de 15).
⊥ Contradicción (de 3 y 16).
¬(A∧B) Reducción al absurdo (de 13-17).
(C∨E)∨(A∧B) Adición (de 4).
⊥ Contradicción (de 3 y 19).
¬¬((C∨E)→D) Reducción al absurdo (de 3-20).
¬((C∨E)→D) Doble negación (de 21).
(D∨A)→¬((C∨E)→D) Teorema de la deducción (de 3-22).
Por lo tanto, hemos demostrado
¬((C∨E)→D) bajo las premisas dadas utilizando las ocho reglas básicas de deducción.

Universidad Politécnica Salesiana

6
Nombre de la Institución Educativa

EJERCICIO 6
J→((K→N)∧L) Premisa
H→(I∨J) Premisa
Q→(J∧(K→N)) Premisa
I→(K→N)∨(H∨Q) Premisa

Supongamos
K→N para usar la prueba por casos.
J→(K→N)∧L Modus Ponens (de 1 y 5).
H→I∨J Simplificación (de 2).
I→(K→N)∨(H∨Q) Simplificación (de 4).
Supongamos
H para usar la prueba por casos.
I∨J Modus Ponens (de 7 y 9).
K→N Modus Ponens (de 6 y 10).
Q→(J∧(K→N)) Modus Ponens (de 3 y 11).
J∧(K→N) Simplificación (de 12).
J Simplificación (de 13).
K→N Modus Ponens (de 6 y 14).
I→(K→N) Simplificación (de 8).
(K→N) Modus Ponens (de 16 y 9).
⊥ Contradicción (de 5 y 17).
¬(K→N) Reducción al Absurdo (de 5-18).
I→(K→N)∨(H∨Q) Prueba por casos (de 9-19).
H→I∨J Prueba por casos (de 9-20).
Q→(J∧(K→N)) Prueba por casos (de 9-21).
J→(K→N)∧L Prueba por casos (de 9-22).

Universidad Politécnica Salesiana

7
Nombre de la Institución Educativa

(K→N)∧L Prueba por casos (de 5-23).

J Simplificación (de 24).
I∨J Adición (de 25).
I→(K→N)∨(H∨Q) Teorema de la deducción (de 20-26).
Por lo tanto, hemos demostrado
I→(K→N)∨(H∨Q) bajo las premisas dadas utilizando las ocho reglas básicas de deducción.

EJERCICIO 7
- 1 (F v G) → (C ∧ E)
- 2 (((A → B) ∧ B) → C) ∧ ¬ (C v D)
˫ (A → B) → ((B v F) → G)
Supongamos
A→B para usar la reducción al absurdo.
Supongamos
B para usar la prueba por casos.
(A→B)∧B Producto (de 3 y 4).
((A→B)∧B)→C Simplificación (de 2).
C Modus Ponens (de 5 y 6).
⊥ Contradicción (de 7 y 3).
¬B Reducción al Absurdo (de 4-8).
F∨G Adición (de 9).
C∧E Modus Ponens (de 1 y 10).
C Simplificación (de 11).
¬(C∨D) Simplificación (de 2).
¬C Reducción al Absurdo (de 12 y 13).
⊥ Contradicción (de 14 y 3).
¬A Reducción al Absurdo (de 4-15).

Universidad Politécnica Salesiana

8
Nombre de la Institución Educativa

Supongamos
B∨F para usar la prueba por casos.
Supongamos
B para usar la prueba por casos.
(A→B) Adición (de 18).
⊥ Contradicción (de 3 y 19).
¬B Reducción al Absurdo (de 18-20).
G Prueba por casos (de 17).
(B∨F)→G Teorema de la deducción (de 17-22).
(A→B)→((B∨F)→G) Prueba por casos (de 3-23).
Por lo tanto, hemos demostrado la validez del argumento dado utilizando las ocho reglas.

EJERCICIO 8
_1 H → A premisa
_2 ¬ ¬ E ˄ ¬ ¬ (¬ ¬ S ˄ H) premisa
├C→S˄A
Supongamos
C para usar la reducción al absurdo.
Supongamos
¬(S∧A) para usar la reducción al absurdo.
Utilizamos la regla de simplificación para obtener
¬¬E∧¬¬(¬¬S∧H) y simplificamos para obtener
¬¬E.
Utilizamos la regla de doble negación para obtener
E.
Utilizamos la premisa
H→A y

Universidad Politécnica Salesiana

9
Nombre de la Institución Educativa

E para obtener
A mediante modus ponens.
Utilizamos la premisa
¬¬(¬¬S∧H) y la regla de doble negación para obtener
¬¬S∧H.
Utilizamos la regla de simplificación para obtener
¬¬S.
Utilizamos la regla de doble negación para obtener
S.
Utilizamos
Sy
A para obtener
S∧A.
Hemos llegado a una contradicción, ya que asumimos
¬(S∧A) en el paso 2.
Por lo tanto, negamos la suposición
¬(S∧A) y concluimos
S∧A.
Utilizamos la regla de deducción para obtener
C→(S∧A).
La prueba por reducción al absurdo nos permite concluir que
C→(S∧A) bajo las premisas dadas.

Universidad Politécnica Salesiana

10