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

Pensamiento Lógico Matemático

TRABAJO COLABORATIVO

ALUMNOS: CHRISTIAN FABIAN POVEDA OSPINA

CODIGO DE CURSO: 200611

TUTOR

MARLON OSORIO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

1
Tabla de Contenidos

Presentación…….…………………….………………….………………….…..…….……...Pag.1

Tabla de Contenido…………………………………………………………………………...Pag.2

Introducción y objetivos…………………………………………………………..…….....….Pag.3

Ejercicios prize……………………………………………………………………………… Pag.4-6

Solución del ejercicio…………………………………………………………………....….....Pag.4-8

Bibliografía…………………………………………………………………….…….……......Pág.12

2
 INTRODUCCION

A través de lo vivido cotidianamente nosotros los seres humanos aprendimos a comunicarnos con
nuestros semejantes por medio de un lenguaje determinado sea oral, escrito con frases o oraciones
pero todas las dudas generadas en estas conversaciones tienen como fin responderlas de forma positiva
o negativas o ( falsas o Positivas ) en este trabajo desarrollaremos enunciados que nos resuelvan las
dudas que las conversaciones establezcan en una proposición y la respuesta de estas preguntas
corresponde a la ciencia aplicar el estudio para resolver las mismas dudas.

Objetivos

 Aprender técnicas para simplificar las funciones lógicas

 Distinguir variables lógicas dependientes e independientes a partir de una situación o

problemas específicos.

 Reconocer y utilizar los conceptos fundamentales de la lógica de proposiciones.

 Representar las funciones lógicas mediante tablas de verdad y expresiones algebraicas.

 Entender la metodología para el análisis de casos.

 Entender como funciona las tablas de la verdad.

3
4
5
https://prezi.com/view/3TC2gxZbwvEt5OVuxO9d/

6
Desarrollo del punto 2

p: Si la Selección Colombia va al mundial

q: James juega los partidos

r: la Selección Colombia será finalista del Mundial de Rusia.

Lenguaje natural de la exposición formal

p ∧ q→r : Si la Selección Colombia va al mundial y James juega los partidos, entonces la

Selección Colombia será finalista del Mundial de Rusia.

Generar Tabla de la Verdad.

p q r ¬(pΛq)↔(¬pVq)
V V V V
V V F F
V F F V
V F F F
F V V V
F V F F
F F V V
F F F V

7
 A. Voy de vacaciones a San Bernardo del Viento o Voy a Capurgana o viajo a
Amazonas.

Definición de preposiciones simples:

p: Voy de vacaciones a San Bernardo del Viento
q: Voy a Capurgana o viajo
r: viajo a Amazonas
Lenguaje natural de la exposición formal
p ∨ q∨ r : Voy de vacaciones a San Bernardo del Viento o Voy a Capurgana o viajo a Amazonas
Generar Tabla de la Verdad.

p q r
V V V V
V V F V
F V V V
F F V V
F F F F

8
Este fin de semana, voy a hacer un asado y voy a realizar una actividad en la
piscina y voy a pasar tiempo agradable con mi familia.
p: Este fin de semana, voy a hacer un asado
q: voy a realizar una actividad en la piscina
r: voy a pasar tiempo agradable con mi familia
Lenguaje natural de la exposición formal
p ∧ q∧ r : Este fin de semana, voy a hacer un asado y voy a realizar una actividad en la piscina y voy
a pasar tiempo agradable con mi familia
Generar Tabla de la Verdad.

p ∧ q∧ r

p q r
V V V V
V V F V
F V V V
F F V V
F F F F

9
Me gusta comer Lechona o me gusta comer Mariscos. Y es que realmente me
gusta comer Bandeja Paisa
• Definir las proposiciones simples del argumento.
P= Me gusta comer lechona.
Q= Me gusta comer mariscos
R = Realmente me gusta comer bandeja paisa
• Definir la expresión del argumento en lenguaje simbólico o formal.
PvQ^R
• Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico

p q r
V V V V
V V F V
V F V V
V F F V
F V V V
F V F F
F F V F
F F F f

10
 Si estudio en la UNAD y pertenezco a las Fuerzas Militares de Colombia,
Entonces tendré un 40% de descuento en la Matricula.

• Definir las proposiciones simples del argumento.

P= si estudio en la unad.
Q= pertenezco a las fuerzas militares
R = 40% de descuento en la matricula
• Definir la expresión del argumento en lenguaje simbólico o formal.
PvQ^R

p q r
V V V V
V V F V
V F V V
V F F V
F V V V
F V F F
F F V F
F F F f

11
Bibliografia

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

y computación. (pp. 106 - 112). Ediciones Elizcom, Madrid 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?p
pg=12&docID=3199701&tm=1529335849013

 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.
 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas
y computación. (pp. 9-28). Ediciones Elizcom, Madrid
 http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.actio
n?ppg=20&docID=3226457&tm=1529246259924

12