TAREA INDIVIDUAL 4 FIL 105 SECCIÓN 205

TAREA INDIVIDUAL 4 Semestre 2020-II

Código Nombres y apellidos

20191875 María José Cárdenas Boggiano

ADVERTENCIA: Los argumentos y justificaciones deben ser de elaboración propia,

no creados entre dos o más personas, ni tomados de otra fuente. En caso de plagio,
la tarea tendrá la nota cero.

Al terminar, sube tu tarea individual a PAIDEIA como archivo en Word

I. Árboles semánticos.
1.1 A continuació n, presentamos las siguientes fó rmulas:

A :q ∧ ( p ∨r ) B:∼ ( p ∧ q ) →(q ∧r )C :q ↔ p
Determina, por medio de Á RBOLES SEMÁ NTICOS, si B es implicada por la conjunció n
de A y C (3 puntos)

1. F [(q ∧ ( p ∨ r )) ∧ (q ↔ p) → ∼ ( p ∧q ) →(q ∧ r )]
2. V (q ∧ ( p ∨ r )) ∧ (q ↔ p) (1)
3. F ∼ ( p ∧q ) →(q ∧ r ) (1)
4. V q ∧ ( p ∨ r ) (2)
5. V q ↔ p (2)
6. V ∼ ( p ∧q ) (3)
7. F q ∧ r (3)
8. V q (4)
9. V p ∨r (4)
10. F p ∧q (6)
11. F q (7) 12. F r (7)
13. V p (9) 14. V r (9)
14. F p (10) 15. F q (10)

La fó rmula es una Tautología, por lo tanto la conjunció n de A y C sí implican a B

1.2 Considera las siguientes fó rmulas:

D : ( s ∨ t ) ∧ ( p ∨q ) E : p ∨qF :∼ q → p
Determina, por medio de los Á RBOLES SEMÁ NTICOS si la disyunció n de D y E es
equivalente a F (3 puntos)

1. F ( ( s ∨t ) ∧ ( p ∨ q ) ) ∨ ( p ∨q ) ↔ ∼ q → p
2. V ( ( s ∨t ) ∧ ( p ∨ q ) ) ∨ ( p ∨q ) (1) 4. F ( ( s ∨t ) ∧ ( p ∨ q ) ) ∨ ( p ∨q ) (1)
3. F ∼ q → p (1) 5. V ∼ q → p (1)
6. F q → p (5)
 7. V q (6)
8. F p (6)
9. F ( s ∨t ) ∧ ( p ∨ q ) (4)
10. F p ∨q (4)
11. F p (10)
12. F q (10)

13. V q → p (3)
14. F q (13) 15. V p (13)
16. V ( s ∨t ) ∧ ( p ∨ q )(2) 17. V p ∨q (2) 18. V ( s ∨t ) ∧ ( p ∨ q ) (2) 19. V p ∨q (2)
20. V s ∨t (16) 24. V p (17) 25. V q (17)
21.V p ∨q (16)
22. V s (20) 23. V t (20)

La fó rmula es contingente, puesto que (24) va a permanecer abierta. Por lo tanto la disyunció n
de D y E no es equivalente a F

1.3 A partir del siguiente argumento, elabora: 1) la lista de oraciones simples, 2) la

simbolizació n y 3) prueba la validez del argumento mediante á rboles semá nticos. (6
puntos)

Ará oz no podía juramentar al cargo de presidenta, siempre que Vizcarra no estaba vacado,
sino suspendido. Ademá s, Ará oz no podía renunciar a la vicepresidencia si ella misma se
consideraba realmente presidenta. No es cierto que, si Vizcarra no estaba vacado, Ará oz podía
renunciar a la vicepresidencia. En consecuencia, es falso que Ará oz pudiese juramentar al
cargo de presidenta y ella misma se considerase en verdad presidenta.
 p: Ará oz puede juramentar al cargo de presidente
q: Vizcarra está vacado
r: Vizcarra está suspendido
s: Ará oz puede renunciar a la vicepresidencia
t: Ará oz se considera a sí misma realmente presidenta

¿ ∧r)→ ∼ p)∧ (t → ∼ s) ∧¿ s)) → ∼ (p ∧t ¿

1. F ¿ ∧r)→ ∼ p)∧ (t → ∼ s) ∧¿ s)) → ∼ (p ∧t ¿

2. V ¿ ∧r)→ ∼ p)∧ (t → ∼ s ) ∧¿ s)) (1)
3. F ∼ (p ∧t ¿ (1)
4. V p ∧t (3)
5. V p (4)
6. V t (4)
7. V ¿ ∧r)→ ∼ p (2)
8. V t → ∼ s (2)
9. V ∼ ¿ s)(2)
10. F ∼ q → s (9)
11. V ∼ q (10)
12. F s (10)
13. F q (11)
14. F t (8) 15. V ∼ s ( 8 )
16. F s (15)
17. F ∼ q ∧r (7) 18. V ∼ p (7)
19. F∼ q ( 17 ) 20. F r (17)21 . F p (18)
22. V q (19)

El argumento es invá lido, segú n el á rbol semá ntico el argumento en contingente.

2 Derivación

2.1 Señ ala la regla de inferencia o de equivalencia que se utiliza en cada caso (3
puntos)

1) ∼ p ∨∼(q →r )
2) s →(t ↔ u)
3) p
4) r //⸫ [ ( u →t ) ∨ q ] ∧r
5) p →∼ (q → r) (Definición del Condicional - 1)
6) s∨ p (Adición – 3)
*( s → ( t ↔u ) )∧ ( p →∼ ( q → r ) ) (Conjunción – 2,5* paso faltante)

7) ( t ↔ u ) ∨∼( q →r ) (Dilema constructive compuesto – 6, *)

8) ∼ q ∨ r (Adición – 4)
9) q → r (Definición del Condicional – 8)
10) ∼ ∼( q →r ) (Doble Negación – 9)
11) t ↔ u (Silogismo Disyuntivo – 7, 10)
12) ( t → u ) ∧(u → t) (Definición del Bicondicional – 11)
13) (u → t) (Simplificación – 12)
14) ( u →t ) ∨q (Adición – 13)
15) [ ( u→ t ) ∨ q]∧r (Conjunción – 4, 14)
 2.2 Ofrece una prueba formal que vaya de las premisas hacia la conclusió n del
siguiente argumento (5 puntos)

1) ∼ ( p ∧q ) → ∼ (∼ r ∨ s )
2) ∼ p ∨∼ q
3) ∼ r ∨(s ∨ t) //⸫ ∼ p →(r ∧ t)
4) ∼ ( p ∧q ) (DeM, 2)
5) ∼ ( ∼ r ∨ s ) (MP, 1, 4)
6) ∼ ∼ r ∧∼ s (DeM, 5)
7) ∼ ∼ r (SIMP, 6)
8) ∼ s (SIMP, 6)
9) s ∨t (SD, 3, 7)
10) t (SD, 8, 9)
11)r (DN, 7)
12) r ∧t (CONJ, 10, 11)
13) ∼ ∼ p ∨(r ∧t) (AD, 12)
14) ∼ p →(r ∧ t) (DC, 13)