PENSAMIENTO LÓGICO Y MATEMÁTICO

UNIDAD 1

PERTENECE A

DIEGO FERNANDO VERA

TUTORA:

DIEGO A. MARIN IDARRAGA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD

PALMIRA VALLE

JULIO DE 2019
 Introducción

En el presente trabajo se desarrolla ejercicios de la unidad 1 al que se refiere a proposiciones

y tabla de verdad, en donde se da el significado de cuantificador existencial único y se
sustenta de manera manual y por medio de la herramienta simulador-lógica UNAD,
proposiciones y tabla de la verdad.
Objetivos

desarrollar y comprender conceptos fundamentales de la lógica proposicional, tablas de la

verdad en proposiciones compuestas, tautologías, contradicciones y contingencias.
Además, las clases de cuantificadores.

Específicos:

Realizar ejercicios propuestos de la guía de actividades.

Comprender los conceptos vasados de las proposiciones y tablas de la verdad.
Reconocer las operaciones lógicas.
Identificar los diferentes tipos de proposiciones.
Ejercicio 1: Proposiciones

p: Colombia hace parte del continente europeo

q: Brasil hace parte del continente americano
[(𝑝 ∧ 𝑞) ∨ (¬𝑞)] ↔ 𝑝

 Escriba la proposición compuesta propuesta en lenguaje natural

Colombia hace parte del continente europeo y brasil parte del

continente ameicano, o brasil no hace parte del continente
americano, si y solo si colombia hace parte del continente europeo.

 Determinar el valor de verdad de las proposiciones simples.

P q
v v
f f

 Determinar el valor de verdad de la proposición compuesta.

p q ¬𝑞 𝑝∧𝑞 (𝑝 ∧ 𝑞) ∨ (¬𝑞) [(𝑝 ∧ 𝑞) ∨ (¬𝑞)] ↔ 𝑝

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

SE TIENE UNA CONTINGENCIA.

Ejercicio 2: Tablas de verdad

Messi es el mejor jugador del mundo, entonces Cristiano Ronaldo no es el

mejor jugador de Europa o la liga española no es la más competitiva.

 Definir las proposiciones simples del argumento.

p=Messi es el mejor jugador del mundo
q=cristiano Ronaldo no es el mejor jugador de Europa
r=la liga española no es la más competitiva.
 Definir la expresión del argumento en lenguaje simbólico o formal.
(𝑝 ∧ 𝑞) ∨ 𝑟
 Generar una tabla de verdad con el simulador Lógica UNAD
 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 𝑝→𝑞 (𝑝 → 𝑞) ∨ 𝑟

V V V V V

V V F V V

V F V F V

V F F F F

F V V V V

F V F V V

F F V V V

f f f V V
Ejercicio 3: Teoría de conjuntos

 Defina los nombres de los conjuntos del diagrama de venn.

U= Empleados de la empresa “Ejemplo”

A= Empleados del área administrativa

B= Empleados del área de ventas

C= Empleados del área de confesiones.

 Determine la operación entre conjuntos, representada en el diagrama

de venn seleccionado (notación entre conjuntos).
𝐴 ∩ 𝐵 + 𝐴 ∩ 𝐶 + 𝐵 ∩ 𝐶 − 2𝐴 ∩ 𝐵 ∩ 𝐶

 Exprese la notación del diagrama de venn seleccionado en palabras.

Empleados que estan en dos áreas o más.

Ejercicio 4: Aplicación de la Teoría de Conjuntos

 Defina los nombres de los conjuntos del diagrama de venn.

𝑈 = 𝐸𝑚𝑝𝑙𝑒𝑎𝑑𝑜𝑠 𝑑𝑒 𝑙𝑎 𝑒𝑚𝑝𝑟𝑒𝑠𝑎 "𝐸𝑗𝑒𝑚𝑝𝑙𝑜"

𝐴 = 𝐸𝑚𝑝𝑙𝑒𝑎𝑑𝑜𝑠 𝑞𝑢𝑒 𝑠𝑎𝑏𝑒𝑛 𝐼𝑛𝑔𝑙𝑒𝑠

𝐵 = 𝐸𝑚𝑝𝑙𝑒𝑎𝑑𝑜𝑠 𝑞𝑢𝑒 𝑠𝑎𝑏𝑒𝑛 𝐹𝑟𝑎𝑛𝑐𝑒𝑠

𝐶 = 𝐸𝑚𝑝𝑙𝑒𝑎𝑑𝑜𝑠 𝑞𝑢𝑒 𝑠𝑎𝑏𝑒𝑛 𝑀𝑎𝑛𝑑𝑎𝑟𝑖𝑛

 (𝐴 ∩ 𝐵) − 𝐶

Cantidad de empleados que unicamente saben Inglesy Frances

Respuesta: 7 empleado.
 (𝐴 ∆ 𝐶) ∩ 𝐴

Cantidad de empleados que saben Ingles o ingles y

frances,pero no Mandarin
Respuesta: 15 empleados.

 (𝐵 ∪ 𝐴) − 𝐶

Cantidad de empleados que saben ingles o frances, pero no

Mandarin
Respuesta: 27 Empleados.
  𝐴 − (𝐵 ∪ 𝐶)

Cantidad de empleados que solo saben ingles.

Respuesta: 8 empleados.
 Conclusión

Para concluir se pudo conocer los tipos de cuantificadores, realizar y armar proposiciones y
tablas de verdad, por otro lado, se logro identificar las variables expresadas simbólicamente y
llevarlas al lenguaje natural corroborando el resultado de las tablas por medio del simulador
lógica UNAD.
 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
 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
 MOSCOTE, H. (2016) APLICACIÓN DE LAS TABLAS DE VERDAD EN EL ÁLGEBRA DE
PROPOSICIONES, [VÍDEO]. RECUPERADO DE HTTP://HDL.HANDLE.NET/10596/7961