Conectivos Lógicos Y Teoría De Conjuntos

Presentado por:

Adriana Maria Sanchez Jimenez

Tutor:
Jose Rafael Bocachica Gonzalez

CEAD José Acevedo Y Gómez

Lógica Matemática
90004_188
Bogotá 2018
 Introducción

En el presente trabajo, se dio solución a ejercicios de problemas

contextualizados, los cuales se requiere de una temática conceptual
básica de Lógica proposicional, tablas de verdad en proposiciones
compuestas, álgebra de proposiciones y teoría de conjuntos. Atreves de
la solución correcta de estos ejercicios, se quiere dar a conocer la
interiorización, interpretación y aprendizaje de cada concepto utilizado
durante el desarrollo de la unidad I. El desarrollo de los cuatro ejercicios,
corresponden a la selección de los ejercicios A, por lo cual se evidencia,
el planteamiento del problema y la solución al cada uno de estos.
 Objetivos

 Lectura, interiorización e interpretación de los conceptos planteados

en la unidad I correspondiente a: Proposiciones, tablas de verdad
en proposiciones compuestas, álgebra de proposiciones,
tautologías, contradicciones, contingencias y teoría de conjuntos, y
así poder dar solución a los ejercicios que se plantea en la Guía de
actividades y rúbrica de evaluación, los cuales nos permitirá:

 Identificar proposiciones en una situación problemática.

 Solucionar problemas mediante el uso de la lógica
proposicional y las Tablas de Verdad.
 Identificar operaciones entre Conjuntos.
 Aplicar la Teoría de Conjuntos.
Ejercicio 1: Proposiciones

a) p: El Deportes Tolima fue el campeón en el periodo 2018-I

q: Nacional fue sub campeón en el torneo 2018-I
(𝑝⋀𝑞) ↔ [(𝑝⋁¬𝑞) → 𝑝]
 Escriba la proposición compuesta propuesta en lenguaje natural.

b) RTA: El Deportes Tolima fue el campeón en el periodo 2018-I y

Nacional fue sub campeón en el torneo 2018-I Si solo si El
Deportes Tolima fue el campeón en el periodo 2018-I o Nacional
no fue sub campeón en el torneo 2018-I Entonces El Deportes
Tolima fue el campeón en el periodo 2018-I

 Determinar el valor de verdad de las proposiciones simples.

RTA:
p: V
q: V

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

RTA:

(𝒑⋀𝒒) ↔ [(𝒑⋁¬𝒒) → 𝒑]

(V⋀V) ↔ [(V⋁𝐹) → V]

(V) ↔ [V]
V
Ejercicio 2: Tablas de verdad

a) Si Gabriela es inteligente y estudia mucho, entonces saca buenas

calificaciones y aprueba el curso.

 Definir las proposiciones simples del argumento.

RTA:

P: Gabriela es inteligente
q: Gabriela estudia mucho
r: Gabriela saca buenas calificaciones
s: Gabriela aprueba el curso

 Definir la expresión del argumento en lenguaje simbólico o

formal.
RTA:
(p Λ q) → (r Λ s)

 Generar una tabla de verdad con el simulador Truth Table a

partir del lenguaje simbólico.

RTA:
 Generar una tabla de verdad manualmente a partir del
lenguaje simbólico.

p q r s (𝒑⋀𝒒) 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 F V V
V F V F F F V
V F F V F F V
V F F F F F V
F V V V F V V
F V V F F F V
F V F V F F V
F V F F F F V
F F V V F V V
F F V F F F V
F F F V F F V
F F F F F F V
Ejercicio 3: Teoría de conjuntos

U= {Estudiantes de la Facultad de Artes y Ciencias una Universidad}

A= {Estudiantes de la carrera de Física}

B= {Estudiantes de la carrera de matemáticas}

C= {Estudiantes de la carrera de filosofía}

A partir de los conjuntos notados anteriormente, el estudiante escogerá

una de las siguientes opciones, y utilizando las operaciones entre
conjuntos dará respuesta a los ítems solicitados para la presente
actividad:

a) Los estudiantes que no están en la carrera de física o de filosofía.

Teniendo en cuenta la letra seleccionada, el estudiante deberá dar

respuesta a los siguientes ítems:
 Representar en un diagrama de Venn - Euler la situación planteada
  Identificar las operaciones entre conjuntos utilizadas y colocar la
notación correspondiente.

RTA: B – ((AUC)ꓵB)

 Dirección publicación de video: https://youtu.be/GSH7db5MYMQ

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

A continuación, encontrará una serie de situaciones en contextos reales,

las cuales deberán ser analizadas por el estudiante para el desarrollo del
ejercicio 4

a) Al finalizar el semestre de la carrera de ingeniería de sistemas

se hizo una encuesta sobre las materias de tercer semestre que
más perdieron los estudiantes que son pensamiento unadista
(N), base de datos I (B) y programación orientada a objetos (P).
Siendo la clase del tercer semestre de 70 estudiantes se tiene
que:

 4 estudiantes perdieron las 3 materias.

 8 estudiantes perdieron base de datos I y programación
orientada a objetos.
 12 estudiantes perdieron pensamiento unadista y
programación orientada a objetos.
 6 estudiantes perdieron pensamiento unadista y base de
datos I.
 30 estudiantes en total perdieron pensamiento unadista.
 18 estudiantes en total perdieron base de datos I.
  32 estudiantes en total perdieron programación orientada
a objetos.

De acuerdo con lo anterior, responder las siguientes preguntas:

 ¿Cuántos estudiantes perdieron exactamente una materia?

RTA: 40
 ¿Cuántos estudiantes perdieron Pensamiento unadista o bases
de datos, pero no programación orientada a objetos?
RTA: 42 estudiantes perdieron Pensamiento unadista o bases
de datos, por lo tanto 16 no perdieron programación orientada
a objetos.
 ¿Cuántos estudiantes perdieron únicamente pensamiento
unadista?
RTA: 16

16

2 8
B 4 P

8 16
4
 Conclusiones

 La lógica matemática nos ofrece métodos que enseñan cómo

elaborar preposiciones, evaluar su valor de verdad y determinar si
las conclusiones se han deducido correctamente a partir de
preposiciones supuestas.
 La lógica nos ayuda a desarrollar los procesos de pensamiento
encontrando sentido a lo que normalmente realizamos, muchas
veces utilizamos en nuestros razonamientos frases que suelen
estudiarse en este curso.
 Bibliografía

Amaya, H. (2016). Tablas de verdad colaborativo 2,. Obtenido de

http://hdl.handle.net/10596/6547
Cardenas, J. L. (2014). Álgebra: serie universitaria. mexico, D. F: grupo
editorial patria. recuperado. Obtenido de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.actio
n?ppg=13&docID=3227286&tm=1531172313538
Gonzáles, T. L. (2009). Teoría de Conjuntos. En ProQuest ebrary (Ed).
Aciertos matemáticos 11: serie para la educación media. Bogotá,
Colombia: Educar Editores S.A. Recuperado. Obtenido de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action
?ppg=21&docID=10345286&tm=1489708381971
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y
fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,
complementos. Madrid, España: Editorial Tébar Flores.
Recuperado. Obtenido de
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action
?ppg=20&docID=3226457&tm=1529246259924
Sánchez, H. R. (2014). Álgebra. México, D.F., México: Larousse - Grupo
Editorial Patria. Recuperado de . Obtenido de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action
?ppg=15&docID=11046169&tm=1489706134764
Wagner, M. (2016). Lógica Proposiciones 1. Obtenido de
http://hdl.handle.net/10596/6542
Wagner, M. (s.f.). Lógica conjuntos 1. Obtenido de
http://hdl.handle.net/10596/6558