Tarea 3

Clasificación de proposiciones categóricas y Métodos para probar validez de

argumentos

Universidad Nacional Abierta y a Distancia UNAD

Escuela Ciencias de la Educación ECEDU

Licenciatura en Lenguas extrangeras con enfasis en ingles

Pensamiento lógico y matemático

San Agustin Huila

Noviembre _ 2019

Ejercicio 3: Problemas de aplicación

A continuación, encontrará la expresión simbólica, las premisas y la

conclusión de un argumento para el desarrollo del ejercicio 3:

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

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

A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Proposiciones simples :

p: Sofía tiene un doctorado en medicina

q: Sofía trabaja en el hospital
r: Sofía es la mejor doctora

 Razonamiento en lenguaje natural:

[ ( p →¬ q ) ∧ ( q ∨¬ r ) ∧r ] →¬ p

Si Sofía tiene un doctorado en medicina entonces, Sofía no

trabaja en el hospital. O Si Sofía trabaja en el hospital, y Sofía no
es la mejor doctora entonces Sofía no tiene un doctorado en
medicina

 Tabla de verdad con el simulador Lógica UNAD

  Tabla de verdad manualmente a partir del lenguaje
simbólico

p q r -p -q -r p →¬ q q ∨ ¬r ( p →¬ q ) ∧ ( q ∨ ¬r ) [(p→ -q)∧(q ∨−r )∧ r ¿

→ -p
V V V F F F F V F V
V V F F F V F V F V
V F V F V F V F F V
V F F F V V V V V V
F V V V F F V V V V
F V F V F V V V V V
F F V V V F V F F V
F F F V V V V V v V

Resultado de la tabla de verdad: Tautología.

 Leyes de la inferencia lógica

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

P4: q TP (P2, P3)

P5: -P TT (P1, P4)