LOGICA MATEMATICA

Paso 2 - Conectivos Lógicos y teoría de conjuntos

ANA MARIA BOLIVAR HERANDEZ

CODIGO: 1022393876

NANCY AMPARO GUACA

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ECBTI: ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
PROGRAMA: INGENIERIA INDUSTRIAL
BOGOTA
2018
 INTRODUCCION

La lógica proposicional es un sistema formal cuyos elementos más simples representan

proposiciones, y cuyas constantes lógicas, llamadas conectivas representan operaciones
sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad. La
lógica proposicional trata sobre la verdad o la falsedad de las proposiciones y de cómo la
verdad se transmite de unas proposiciones (premisas) a otras (conclusión). Una
proposición es la unidad mínima de significado susceptible de ser verdadera o falsa.

El siguiente trabajo proposiciones y tablas de verdad se pretende interpreta y conjugar

expresiones del lenguaje simbólico y del lenguaje natural en la formulación y
representación del pensamiento lógico a través de las estructuras semánticas, variables y
conectores, como elementos fundamentales de la lógica proposicional. Abordando temas
como Lógica proposicional, tablas de verdad en proposiciones compuestas, álgebra de
proposiciones, tautologías y contradicciones y contingencias, proposiciones categóricas.
 OBJETIVOS

 Abordar e interpretar temas como Lógica proposicional, tablas de verdad en

proposiciones compuestas, álgebra de proposiciones, tautologías y
contradicciones y contingencias, proposiciones categóricas.
 Analizar de manera correcta expresiones algebraicas y expresiones naturales para
así realizar un análisis adecuado en la tablas de verdad.
 Introducirnos en el mundo de la lógica matemática ya que es un tema de vital
importancia en nuestra vidas, la cual nos ofrece una manera mas eficiente de
interpretar retos del día a día.
 DESARROLLO DE LA ACTIVIDAD

Tarea 1: Proposiciones

Transcribir en el lenguaje natural la expresión formal que se relaciona y determinar el

valor de verdad de la proposición compuesta, a partir del valor de verdad de cada
proposición simple

a.
 p: El departamento del Choco tiene acceso al Océano Pacifico
 q: El departamento del Guajira tiene acceso al Océano Atlántico
 r: Colombia tiene acceso a tres Océanos

(𝒑⋀¬𝒒)→(¬r)

Desarrollo

El departamento de la guajira tiene acceso al Océano atlántico y no es cierto que el

departamento del choco tiene acceso al Océano pacifico entonces no es cierto que
Colombia tiene acceso a tres océanos

Determinación de valor de verdad

Teniendo en cuanta la negación de q y r se procede a cambiar el valor

Tarea 2: Tablas de verdad

a. Si la tasa de natalidad sigue aumentando, entonces habrá escases de agua.

La tasa de natalidad no aumentó. Por lo tanto, no habrá escases de agua.

 Expresión en lenguaje simbólico.

 P: La tasa de natalidad aumenta
Q: Escasez de agua

 Si la tasa de la sigue aumentando, entonces habrá escasez de agua

P→Q

 La tasa de natalidad no aumentó, por lo tanto no habrá escasez de agua.

¬ P → ¬Q

 Desarrollo manual de las tablas de verdad

 Si la tasa de la sigue aumentando, entonces habrá escasez de agua

P→Q

p q p→q
V V V
V F V
F F V
F V F

 La tasa de natalidad no aumentó, por lo tanto no habrá escasez de agua.

¬ P → ¬Q

p q ¬p→¬q
V V V
V F V
F F V
F V F

 Uso del simulador Truth Table.

 Si la tasa de la sigue aumentando, entonces habrá escasez de agua

P→Q
  La tasa de natalidad no aumentó, por lo tanto no habrá escasez de agua
¬ P → ¬Q

Tarea 3: Teoría de Conjuntos

Consideremos eventos que se pueden representar por medio de un conjunto:

𝑈={ 𝑈𝑁 𝐷 𝐵𝑇𝐼}
={ }
𝐿={ 𝑔 }
={ 𝐼 𝑔 í 𝐼 }
a. Los estudiantes de segundo periodo y que son Emonitores, pero no son
estudiantes de Ingeniería Industrial.

L∩C

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

a. En un conjunto residencial se están tomando decisiones en la Junta

Administrativa. Por tal razón, deciden colocar a votación las actividades que se
realizarán durante el año 2018. A la junta asisten 250 propietarios de los
apartamentos, de los cuales 80 votan por la construcción de un parque infantil. 27
propietarios votan únicamente por techar el parqueadero. A 112 personas les
gustaría que se pintaran los bloques. 94 propietarios votaron por la propuesta de
techar el parqueadero. A 38 personas les gustaría que se llevaran a cabo las tres
propuestas. A 55 propietarios les gustaría que se pintaran los bloques y se
construyera un parque infantil. A 44 propietarios les gusta solo la idea de pintar los
bloques. A 6 Propietarios no les gusta ninguno de los proyectos expuestos.

A: Construcción de un parque infantil: 80

B: Techar el parqueadero: 27
C: Pintar los bloques: 44
D: No están de acuerdo con ninguna de las propuestas: 6
 A B
80 VOTOS 94 VOTOS 27 VOTOS

38 VOTOS

55 VOTOS 112 VOTOS

D 44 VOTOS
86
VOTOS C

 ¿Cuántos propietarios votaron por pintar los bloques y techar el parqueadero, pero
que no se construya el parque infantil?
R: 112 Votos
 ¿Cuántos propietarios desean colocarle techo al parqueadero y que se construya el
parque infantil?
R: 94 Votos
 ¿Cuántos propietarios quieren que únicamente se construya el parque infantil?
R: 80 Votos
 CONCLUCIONES

 La lógica proposicional es una herramienta que nos ayuda a darle mejor sentido a lo
que nos dicen o mejor aún a lo que decimos, es decir, de un argumento podemos
sacar los argumentos buenos y los argumentos malos. Aplicando estas leyes y los
conceptos la educación cada día será más enfocada a la investigación científica y a la
innovación tecnológica. Esto como punto de partida para una sociedad más justa y
equitativa.
 Se abordó, e interpreto adecuadamente temas como Lógica proposicional, tablas de
verdad en proposiciones compuestas, álgebra de proposiciones, tautologías y
contradicciones y contingencias, proposiciones categóricas.
 Se analizó de manera correcta expresiones algebraicas y expresiones naturales para
así realizar análisis adecuados en las tablas de verdad.
 BIBLIOGRAFIA

 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. :

Larousse - Grupo Editorial Patria. Páginas 19 - 29. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=30&docID=
11013570&tm=149251830818 9 Chávez, C. P. (2000).
 Compendio de lógica. : Larousse - Grupo Editorial Patria. Páginas 151- 162.
Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=166&docID
=11046000&tm=1492518443951
 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y
fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos.
Madrid, ES: Editorial Tébar Flores. Páginas 17-29. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=18&docID=
10995629&tm=1492519731065