PENSAMIENTO LOGICO MATEMATICO

PRESENTADO POR
WILMER SMITH ACERO GUAYACAN

TUTOR:
JOSÉ ALFONSO OLAYA
Grupo: 200611_31

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

CEAD FACATATIVA

NOVIEMBRE 2019
Ejercicio 3: Problemas de aplicación

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: [(𝑝 → ¬𝑞) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬𝑝

Premisas:
P1: 𝑝 → ¬𝑞
P2: 𝑞 ∨ ¬𝑟
P3: 𝑟
Conclusión: ¬𝑝

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

 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: Smith estudia Inglés

q: tiene tiempo para estudiar matemáticas

r: obtiene buenas calificaciones

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural. Las proposiciones simples deben ser de autoría
de cada estudiante, por lo que de encontrar proposiciones iguales
entre estudiantes se considerara como copia y se tomaran las
medidas correctivas estipuladas por la UNAD.

[(𝒑 → ¬𝒒) ∧ (𝒒 ∨ ¬𝒓) ∧ 𝒓] → ¬𝒑

 Si Smith estudia Ingles entonces no tiene tiempo para estudiar
matemáticas y si tiene tiempo para para estudiar matemáticas o no
obtiene buenas calificaciones y obtiene buenas calificaciones
entonces Smith no estudia Inglés.

 Generar una tabla de verdad con el simulador Lógica UNAD a

partir del lenguaje simbólico (El estudiante encontrará la Guía
para el uso de recursos educativos Simulador Lógica UNAD, en
el Entorno de Aprendizaje Práctico, así como el link de acceso al
recurso)

 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico (En Word, Excel o foto del desarrollo manual).

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

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