Alumno Tema

Osorio Llerenas Zair Lunes 22 de noviembre de 2021 “Prueba Formal de Validez.”

Actividad #10 LÓGICA MATEMÁTICA CUCEI

I. Efectúa la prueba formal de validez para los siguientes argumentos:

a) 1. A → (B ʌ C)
2. (B ʌ C) → ¬X ∴ A → ¬ (X ʌ D)
3._____________________________
4._____________________________
5._____________________________
6._____________________________
7._____________________________
8._____________________________

b) ¬A → (¬B ˅ ¬C)
2. B ʌ C ∴ A˅T
3.____________________________
4.____________________________

c) 1. P→ Q
2. Q → ¬R
3. P ∴ R → ¬W
4.____________________________
5.____________________________
6.____________________________
7.____________________________
8.____________________________
 Alumno Tema
Osorio Llerenas Zair Lunes 22 de noviembre de 2021 “Prueba Formal de Validez.”

d) 1. (X → M) ˅ ¬S
2. S ʌ (X ʌ R) ∴ ¬M →(S →D)
3.____________________________
4.____________________________
5.____________________________
6.____________________________
7.____________________________
8.____________________________
9.____________________________
10.___________________________
11.___________________________
12.___________________________
13.___________________________
14.___________________________
15.___________________________

e) 1. (X → M) ʌ (X → T)
2. (X ˅ X) ∴ (M ˅ T) ˅ X
3.____________________________
4.____________________________
5.____________________________
6.____________________________
7.____________________________
8.____________________________
 Alumno Tema
Osorio Llerenas Zair Lunes 22 de noviembre de 2021 “Prueba Formal de Validez.”

f) 1. N → B
2. N ˅ (B ˅ ¬F)
3. ¬B ∴ F→B
4.____________________________
5.____________________________
6.____________________________
7.____________________________
8.____________________________
9.____________________________

g) 1. C → B
2. ¬B ʌ M
3. (C → M) → M
4. M → C ∴ C
5.____________________________
6.____________________________
7.____________________________
8.____________________________
9.____________________________
10.____________________________
11.___________________________
12.___________________________

h) 1. T → K
2. K → B
3. B → F ∴ T→F
4.____________________________
5.____________________________
6.____________________________