Ejercicio 3 Clasificación de Proposiciones Categóricas y Métodos Para Probar Validez de Argumentos

Anexo -1-Ejemplos para el desarrollo Tarea 3 - Clasificación de proposiciones categóricas y Métodos para probar validez de argumentos

Ejercicio 3: Problemas de aplicación C Expresión simbólica: {[ → ( ∨ )] ∧ ( →∼ ) ∧ ( →∼ ) ∧ ( ∧ )} → 

Premisas: P1:  → ( ∨ ) P2:  → ∼  P3:  →∼  P4:  ∧ 

Conclusión:



Desarrollo: Premisas simples: p: Lucila estudia la asignatura de matemáticas q: puede ganar la asignatura de matemáticas r: puede perder la asignatura s: falta a clases de matemáticas t: resuelve las guías de la asignatura

Razonamiento en lenguaje natural: Lucila estudia la asignatura de matemáticas, entonces puede ganar la asignatura de matemáticas o  puede perder la asignatura, y  si falta a clases de matemáticas, entonces no  puede ganar la asignatura de matemáticas y si resuelve las guías de la asignatura, entonces no puede perder la asignatura. Si Lucila estudia la asignatura de matemáticas y resuelve las guías de la asignatura, entonces puede ganar la asignatura de matemáticas.

Tabla de la verdad: p

q

r

s

t   ̴q   ̴r q V r p

( q V r) s

̴q [p

(q V r)]^( s

̴q) t

r̴ [p

(q V r)]^( s

̴q)^(t

r̴ )

p^t

[p (q V r)]^(s

̴q)^(t

r̴ )^(p^t) {[p

(q V r)]^( s

̴q)^(t

V

V

V

V

V

F

F

V

V

F

F

F

F

V

F

V

V

V

V

V

F

F

F

V

V

F

F

V

F

F

F

V

V

V

V

F

V

F

F

V

V

V

V

F

F

V

F

V

V

V

V

F

F

F

F

V

V

V

V

V

V

F

F

V

V

V

F

V

V

F

V

V

V

F

F

V

F

V

F

V

V

V

F

V

F

F

V

V

V

F

F

V

F

F

F

V

V

V

F

F

V

F

V

V

V

V

V

V

V

V

V

V

V

V

F

F

F

F

V

V

V

V

V

V

V

F

F

V

V

F

V

V

V

V

F

V

V

V

V

F

F

V

F

V

V

F

V

V

F

V

F

V

V

V

V

V

V

F

F

V

V

F

V

F

V

V

F

V

V

V

V

F

F

V

F

V

V

F

V

F

F

V

F

V

V

V

V

V

V

F

F

V

V

F

F

V

V

V

V

F

F

V

F

V

F

V

F

V

V

F

F

V

F

V

V

F

F

V

F

V

F

F

F

V

V

F

F

F

V

V

V

F

F

V

F

V

F

V

F

V

V

F

F

F

F

V

V

F

F

V

F

V

F

F

F

V

F

V

V

V

V

F

F

V

V

F

F

F

F

F

F

V

F

V

V

V

F

F

F

V

V

F

F

V

F

F

F

V

F

V

V

F

V

F

F

V

V

V

V

F

F

F

F

V

F

V

V

F

F

F

F

V

V

V

V

V

V

F

F

V

F

V

F

V

V

F

V

V

V

F

F

V

F

F

F

V

F

V

F

V

F

F

V

V

V

F

F

V

F

F

F

V

F

V

F

F

V

F

V

V

V

V

V

V

V

F

F

V

F

V

F

F

F

F

V

V

V

V

V

V

V

F

F

V

F

F

V

V

V

V

F

V

V

V

V

F

F

F

F

V

F

F

V

V

F

V

F

V

V

V

V

V

V

F

F

V

F

F

V

F

V

V

F

V

V

V

V

F

F

F

F

V

F

F

V

F

F

V

F

V

V

V

V

V

V

F

F

V

F

F

F

V

V

V

V

F

V

V

V

V

V

F

F

V

F

F

F

V

F

V

V

F

V

V

V

V

V

F

F

V

F

F

F

F

V

V

V

F

V

V

V

V

V

F

F

V

F

F

F

F

F

V

V

F

V

V

V

V

V

F

F

V

La expresión simbólica anterior es Tautológica

r̴ )^(p^t)} q

Simulador truth table:

leyes de inferencia: Premisa 1:  → ( ∨ ) Premisa 2:  → ∼  Premisa 3:  → ∼  Premisa 4:

∧

P5:



Sim (4) → (Ley de Simplificación)

P6:



MPP (1), (5) → (Modus Ponendo Ponens)

P7:

t 

Sim (4) → (Ley de Simplificación)

P8:

∼

MPP (3), (7) → (Modus Ponendo Ponens)

q

MTP (6), (8) → (Modus Tollendo Ponens)

CONCLUSIÓN: P9: