UNIDAD N°1: LÓGICA PROPOSICIONAL

REALIZADO POR:

Yerlany Ramirez Medina.

PRESENTADO A:

Marlon Osorio.

GRUPO: 200611_604

UNIVERSIDAD NACIONAL A DISTANCIA (UNAD)

PENSAMIENTO LÓGICO MATEMÁTICO

COLOMBIA 09/03/2019
 INTRODUCCIÓN

La lógica proposicional ayuda a definir o caracterizar el razonamiento de las frases o expresiones

de argumento dadas en esta actividad.
Por medio de reglas básicas y muy practicas se determina la interpretación correcta de cualquier
oración.
 OBJETIVOS

 Reconocer el significado de cuantificador universal

 Definir cuantificador universal negativo.

 Aprender el manejo adecuado del simulador lógico UNAD.

 Interpretar expresiones de argumento en lenguaje simbólico.

1) Actividad de conceptualización de cuantificadores

Enlace de la actividad unidad N° 1.

https://prezi.com/view/zjL2QycqjVUqsvvVd31t/

2) A partir del documento que haya seleccionado deberá dar respuesta a los siguientes ítems.

 Definir las proposiciones simples del argumento.

 Definir la expresión del argumento en lenguaje simbólico y formal.
 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 y
determinar si el resultado es una Tautología, contingencia o contradicción.

R//

B. Aprender matemáticas desarrolla el razonamiento lógico si y solo si se posee una

buena comprensión lectora y buena ortografía.

P= Aprender matemáticas desarrolla el razonamiento lógico

q= se posee una buena comprensión lectora

s= buena ortografía

 p↔(q∧s)
 Tabla de verdad con simulador UNAD.

 Generar tabla de verdad manualmente y determinar el resultado si es tautología,

contingencia o contradicción.

p q s (q∧s) p↔(q∧s)
v v v v v
v v f f f
v f v f f
v f f f f
f v v v f
f v f f v
f f v f v
f f f f v

 El resultado es CONTINGENCIA
 3) A partir de la composición compuesta en lenguaje simbólico que haya seleccionado
Deberá:

 Definir las proposiciones simples, tendrá la libertad de definir bajo una descripción
basada en un contexto, el que se solicita es un contexto académico.
 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
 Generar una tabla de verdad con el simulador lógica UNAD.
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (Word,
Excel o foto manual).
 Definir si el argumento seleccionado inicialmente es tautología, contradicción o
contingencia.
R//

(¬𝑝 → 𝑞) ∧ (𝑟 ∨ 𝑞)

a)

p= Yerlany tiene muchas materias matriculadas

q= Yerlany puede salir a viajar
r= Yerlany debe decidir realizar el trabajo de la unidad 1

b)

yerlany no tiene muchas materias matriculadas entonces si puede salir a viajar, sin embargo,
debe decidir realizar el trabajo de la unidad 1gener o puede salir a viajar

c)
d)

p q r ¬𝑝 (¬𝑝 →q) (r∨q) (¬𝑝 → 𝑞) ∧ (𝑟 ∨ 𝑞)

v v v f v v v
v v f f v v v
v f v f v v v
v f f f v f f
f v v v v v v
f v f v v v v
f f v v f v f
f f f v f f f

e) El argumento es una CONTINGENCIA

 CONCLUSIONES

 Se conoce el significado de cuantificador universal.

 Se identifica el cuantificador universal negativo.

 Se aprende el manejo del simulador lógico UNAD.

 Se comprende el lenguaje simbólico.

 REFERENCIAS

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docID=
3199701&tm=1529510366591
 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de
álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid,
España: Editorial Tébar Flores. Recuperado
de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=32
26457&tm=1529246259924