Tarea 3 - Clasificación de proposiciones categóricas y métodos para probar validez de

argumentos

Wendy Vannesa Cayetano Reyes

Código: 1006454883

Grupo: 1297

Tutor: Ciro Efraín Martínez Báez

Universidad Nacional Abierta y a Distancia

Pensamiento lógico y matemático

12 de Abril del 2020

Ejercicio 3: Problemas de aplicación

D. Expresión simbólica: [ ( r → ¬q ) ∧ ( p ∨ s ) ∧ ( q ∧ p ) ]→¬ r

Premisas:
P1: r →¬ q
P2: p ∨ s
P3:q ∧ p
Conclusión ¬ r

 Definir las proposiciones simples

p: voy en autobús

q: voy a la inducción

r: llego tarde a cubara

s: pierdo información importante

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural

Si llego tarde a cubará entonces no voy a la inducción, voy en autobús o pierdo

información importante, voy a la inducción y voy en autobús, por lo tanto no llego
tarde a cubará
 Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico
  Generar una tabla de verdad manualmente a partir del lenguaje simbólico

p q r s r ¬q q^p (r ¬q)^(pvs)^(q^p) ¬r (r  ¬q)^(pvs)^(q^p) ¬r

V V V V F V F F V
V V V F F V F F V
V V F V V V V V V
V V F F V V V V V
V F V V V V F F V
V F V F V V F F V
V F F V V V F V V
V F F F V V F V V
F V V V F V F F V
F V V F F F F F V
F V F V V V F V V
F V F F V F F V V
F F V V V V F F V
F F V F V F F F V
F F F V V V F V V
F F F F V F F V V

 Resultado de la tabla : TAUTOLOGIA

 Demostración de la validez del argumento mediante las leyes de la inferencia

lógica.

 P1: r  ¬ q

 P2: p v s

 P3: q ^ p

 Conclusión: ¬ r