Tarea 1 Métodos para probar la validez de argumento

Estudiante:
Grupo:
Código:

Tutor
Juan David Lacharme

Universidad Nacional abierta y a distancia-UNAD

Escuela De Ciencias De La Educación – Ecedu
Colombia
26-09-2020
4. Ejercicio Problemas de aplicación

a. Expresión simbólica: {(𝒑∧¬𝑞) ∧(𝒓→𝑞) ∧(𝒓∨¬𝑞)} →(𝒑∧¬𝒓)

Premisas:
P1: 𝒑∧¬𝑞
P2: 𝒓→𝑞
P3: 𝒓∨¬𝑞
Conclusión: 𝒑∧¬𝒓
b. Proposiciones simples:

p: los cursos de matemática se terminaron

q: la universidad Unad se cierra

r: Se iniciaron las vacacione

Lenguaje Natural:

los cursos de matemática se terminaron y la universidad Unad no se cierra. Se iniciaron las vacaciones entonces la universidad

Unad se cierra. Se iniciaron las vacaciones O la universidad Unad no se cierra. Por lo tanto, los cursos de matemática se

terminaron y no se iniciaron las vacaciones.

c. Tabla de verdad manual

Proposiciones simples Negación de proposiciones Premisas Unión de las tres premisas Conclusión Unión de las premisas implicado la conclusión
P q r ~p ~q ~r (𝑝 ∧∼𝑞) (𝑟→𝑞) (𝑟∨∼𝑞) (𝑝 ∧∼𝑞)∧(𝑟→𝑞)∧(𝑟∨∼𝑞) (𝑝∧ ∼𝑟) [(𝑝 ∧∼𝑞)∧(𝑟→𝑞)∧(𝑟∨∼𝑞)]→ ( 𝑝∧∼𝑟)
1 fila V V V F F F F V V F F V
2 fila V V F F F V F F F F V V
3 fila V F V F V F V F V F F V
4 fila V F F F V V V F V F V V
5 fila F V V V F F F V V F F V
6 fila F V F V F V F F F F F V
7 fila F F V V V F F F V F F V
 d. Tabla de verdad Simulador UNAD

e. Demostración de la validez del argumento mediante las Leyes de Inferencia

P1: 𝒑∧¬𝑞
P2: 𝒓→𝑞
P3: 𝒓∨¬𝑞
P4: ¬ q premisa 2 Modus ponendo ponens (PP)
P5: ¬ r Premisa 2, Premisa 4 Modus Tollendo Tollens (TT)
P6: P Premisa 1 Simplificación (S)
P7: p ∧∼rPremisa 6, premisa 5 Adjunción(A)