Pensamiento Lógico y Matemático

Unidad 1: Proposiciones y Tablas de Verdad

Escuela de Ciencias Básicas, Tecnología e Ingeniería

Ingeniería Industrial

Entregado por

Carmen Lucia Arregoces Estrada

Tutor

Andrés Rodrigo Bermúdez

Universidad Nacional Abierta y a Distancia

2019
Introducción

El siguiente trabajo de pensamiento lógico y matemático consta de 3 ejercicios sobre

proposiciones y tablas de verdad poniendo en practica los conocimientos adquiridos en
el entorno de conocimiento, así mismo dándole solución a cada uno de ellos utilizando
la metodología vista.
Objetivos

 Afianzar conocimientos

 Desarrollar ejercicios

 Aplicar metodologías

 Utilizar herramientas para realizar las tablas de verdad

Ejercicios letra B

B. Cuantificador Universal negativo.

Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:
B. Aprender matemáticas desarrolla el razonamiento lógico si y solo si se posee una
buena comprensión lectora y buena ortografía

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
ítems:

 Definir las proposiciones simples del argumento.

p: Aprender matemáticas desarrolla el razonamiento lógico

q: Se posee buena comprensión lectora

r: Buena ortografía

 Definir la expresión del argumento en lenguaje simbólico o formal.

p↔ q∧r

 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.

p↔qᴧr
p q r p ↔ q ᴧ r
V V V V V V V V
V V F V F V F F
V F V V F F F V
V F F V F F F F
F V V F F V V V
F V F F V V F F
F F V F V F F V
F F F F V F F F

Es una contingencia

(Rodríguez, (2013))

(Cardona, (2010))

Ejercicio 3: Problemas de aplicación

Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en lenguaje simbólico

(argumento) para el desarrollo del ejercicio 3:
 B. ( ¬ p→ q )∧( r  ∨  q )

A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado

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: Liliana estudia medicina modalidad presencial

q: Estudia medicina forense

r: Estudia en la Universidad Nacional

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

natural

Si Liliana no estudia medicina en la modalidad presencial entonces estudia

medicina forense y estudia en la Universidad Nacional o estudia Medicina
Forense.

 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
(En Word, Excel o foto del desarrollo manual).

(¬P→Q) ᴧ(RVQ)
P q r ¬p → q ᴧ r V q
V V V F V V V V V V
V V F F V V V F V V
V F V F V F V V V F
V F F F V F F F F F
F V V V V V V V V V
F V F V V V V F V V
F F V V F F F V V F
F F F V F F F F F F

 Definir si el argumento seleccionado inicialmente es una tautología,

contradicción o contingencia
 Es una contingencia ya que o es verdadera ni falsa, aparte de los valores de
verdad de las proposiciones simples que la componen.

(Rodríguez, (2013))

(Cardona, (2010))

Conclusión
Del anterior trabajo podemos concluir, que la lógica matemática nos ayuda a desarrollar
el pensamiento y a llegar a saber si tiene validez un argumento implementando los
métodos paso a paso, y además de esto se aprende a diligenciar las tablas de verdad
manuales y la del simulador.
Bibliografía
 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=3226457&tm=1529246259924

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado
dehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=12&docID=3199701&tm=1529335849013