UNIDAD 3 - PROPOSICIONES CATEGÓRICAS Y RAZONAMIENTOS LÓGICOS

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

Leidy Andrea Noguera Garzon

Grupo 200611-208

Tutor

Ciro Efraín Martinez Báez

Universidad Nacional Abierta y a Distancia – UNAD.

Ingeniería Industrial.

Noviembre 2019
Descripción del ejercicio

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

1. Definir las proposiciones simples, tendrá la libertad de definirla bajo una

descripción basada en un contexto, el que se solicita es un contexto académico

P: Samara presenta los exámenes.

Q: Samara es buena estudiante

R: Samara pasa al grado primero

2. Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Las proposiciones simples deben ser de autoría de cada estudiante

Samara presenta los exámenes ENTONCES NO es buena estudiante. SI Samara es buena

estudiante O NO pasa al grado primero. SI Samara pasa al grado primero POR LO
TANTO NO presenta los exámenes.
 3. Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico.

[
(
p
→
~
( q
p)
→^
( ~
pq(
→) q
~
q^˅
) ~
( r
^q)
^
( ˅
q~r
r ]
˅) →
~
r ^~
)
r p
f f v
f f v
f f v
vf v
vvv
vf v
f f v
vf v
4. Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
El resultado de la tabla de verdad es una TAUTOLOGIA: porque todos los valores del
operador principal son todos verdaderos.

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

lógica.
Premisas:
P1: p →¬ q
P2:q ∨ ¬r
P3:r
Conclusión: ¬ p
q ∨¬ r
P4: q MTP entre 2 y 3 ¿ =q
r
q →¬ q
P5: ¬p MTT entre 1 y 4 ¿ =¬ p
q