UNIDAD 1 - TAREA 1

PREPOSICIONES Y TABLAS DE VERDAD

ESTUDIANTE:
JHON MARIO SANCHEZ HERNANDEZ

TUTORA:
SANDRA PATRICIA BARRIOS RODRIGUEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGIA E INGENERIA
TECNOLOGÍA EN LOGISTICA INDUSTRIAL
PENSAMIENTO LÓGICO MATEMÁTICO
CEAD ACACIAS
2020
 INTRODUCCIÓN

Con este trabajo puedo comprender los conceptos de lógica matemática aplicados para la
resolución de problemas mediante tablas de verdad en proposiciones compuestas,
enriqueciendo mis conocimientos mediante los diversos temas que abarcaremos en la guía.
 OBJETIVOS

General

Proporcionar los elementos básicos y conceptos de la lógica matemática, necesarios

para el estudio más profundo para la resolución de problemas.

Específicos

1. Aplicar elementos básicos, necesarios para el desarrollo de las actividades.

2. Desarrollar tablas de verdad permitiendo analizar cualquier fórmula y hallar sus

valores de verdad.
EJERCICIO 1: CONCEPTUALIZACIÓN DE CUANTIFICADORES
 EJERCICIO 2: PROPOSICIONES Y TABLAS DE VERDAD

A. Cali es la capital de la salsa o Medellín es la ciudad de la eterna primavera si y solo si

Bucaramanga es la ciudad bonita y Barranquilla es la puerta de oro de Colombia.

p: Cali es la capital de la salsa

q: Medellín es la ciudad de la eterna primavera
r: Bucaramanga es la ciudad bonita
s: Barranquilla es la puerta de oro de Colombia.

o: ∨
si y solo si: ↔
y: ∧
LENJUAGUE SIMBOLICO
( ( p ∨q ) ↔ ( r ∧s ) )

p q r s ( p ∨q ) ( r ∧ s) ( ( p ∨q ) ↔ ( r ∧s ) )
V V V V V V V
V V V F V F F
V V F V V F F
V V F F V F F
V F V V V V V
V F V F V F F
V F F V V F F
V F F F V F F
F V V V V V V
F V V F V F F
F V F V V F F
F V F F V F F
F F V V F V F
F F V F F F V
F F F V F F V
F F F F F F V
CONTINGENCIA

VERIFICACION SIMULADOR LOGICA UNAD

EJERCICIO 3: PROBLEMAS DE APLICACIÓN
No asisto a la web conferencia y tengo muchas dudas si y solo si le pregunto a mis
compañeros o busco ayuda por medio de internet.

p: asisto a la web conferencia

q: tengo muchas dudas
r: le pregunto a mis compañeros
s: busco ayuda por medio de internet
no: ¬
y: ∧
si y solo si: ↔
o: ∨ (¬𝑝 ∧ 𝑟) ↔ (𝑞 ∨ 𝑠)

p q r s
(¬𝑝 ∧ 𝑟) (𝑞 ∨ 𝑠) (¬𝑝 ∧ 𝑟) ↔ (𝑞 ∨ 𝑠)
V VF V V V V
V VV V V V V
V VF F F V F
V VV F F V F
V FF V V F F
V FV V V V V
V FF F F F V
V FV F F V F
F VF F F V F
F VV F F V F
F VF V F V F
F VV V F V F
F FF F F F V
F FV F F V F
F FF V F F V
F FV V F V F
CONTINGENCIA
VERIFICACION SIMULADOR LOGICA UNAD
 CONCLUSIONES

La idea principal de este trabajo es aprender el concepto de proposición, la forma en que se

pueden formar proposiciones compuestas usando los conectores lógicos, representar
enunciados por medio de simbología lógica, conocer los conceptos de tautología,
equivalencia lógica, pero con problemas que le sean familiares e interesantes. Se trata de
que en cada uno de los subtemas participe proponiendo sus propios ejemplos y que sobre
todo al final de la unidad él tenga la habilidad, confianza e iniciativa para inferir posibles
soluciones.
 BIBLIOGRAFIAS

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado de https://ebookcentral-
proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3199701&ppg=12

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

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 https://ebookcentral-
proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
docID=3226457&ppg=20