TEMA: CONECTIVOS LÓGICOS Y TEORÍA DE CONJUNTOS

CURSO DE LOGICA MATEMÁTICA

UNIDAD-1

GRUPO
90004_1

AUTOR
NANCY ROCIO CARDENAS

TUTOR
GEOVANNI ORTIZ

U. NACIONAL ABIERTA Y A DISTANCIA

COLOMBIA 2018
 INDICE

1. Introducción…………………………………………………………………….
2. Desarrollo de la Unidad uno…………………………………………………
3. Conclusiones…………………………………………………………………..
4. Bibliografía……………………………………………………………………..
 INTRODUCCIÓN
Este trabajo radica en el desarrollo de una serie de actividades, donde se pueda poner en práctica
los conocimientos previamente adquiridos, estos se ven reflejados las tablas de verdad, simulador
Truth Table, la operación entre conjuntos y como herramienta una buena comprensión de lectura,
la cual es pieza clave para desarrollar todo el presente trabajo.
 SOLUCIÓN DE EJERCICIOS
EJERCICIO 1:

a)
PROPOSICIONES SIMPLES
p: [El Deportes Tolima fue el campeón en el periodo 2018-I]
q: [Nacional fue sub campeón en el torneo 2018-I]
LENGUAJE SIMBOLICO
(𝒑⋀𝒒) ↔ [(𝒑⋁¬𝒒) → 𝒑]
LENGUAJE NATURAL
Si el deportes Tolima fue el campeón en el periodo 2018-I y Nacional fue subcampeón
en el torneo 2018-I, si y sólo si el deportes Tolima fue el campeón en el periodo 2018-I
o Nacional no fue subcampeón en el torneo 2018-I, entonces el deportes Tolima fue el
campeón en el periodo 2018-I.
VALOR DE VERDAD PROPOSICIONES SIMPLES
p: [Falso]
q: [Verdadero]
VALOR DE VERDAD PROPOSICION COMPUESTA
(𝒑⋀𝒒) ↔ [(𝒑⋁¬𝒒) → 𝒑]
(𝑭^𝑽) ↔ [(𝑭⋁¬𝑽) → 𝑭]
(𝑭) ↔ [(𝑭⋁𝑭) → 𝑭]
(𝑭) ↔ [(𝑭) → 𝑭]
(𝑭) ↔ 𝑽
𝑭

EJERCICIO 2:
a) Si Gabriela es inteligente y estudia mucho, entonces saca buenas calificaciones y aprueba
el curso.
PROPOSICIONES SIMPLES
p: [Gabriela es inteligente]
q: [Estudia mucho]
r: [Saca buenas calificaciones]
s: [Aprueba el curso]
LENGUAJE SIMBOLICO
(𝒑^𝒒) → (𝒓^𝒔)
SIMULADOR TRUTH TABLE
 TABLA DE VERDAD MANUAL

𝑷 𝑸 𝑹 𝑺 𝑷^𝑸 𝑹^𝑺 (𝑷^𝑸) → (𝑹^𝑺)

𝑉 𝑉 𝑉 𝑉 𝑉 𝑉 𝑉
𝑉 𝑉 𝑉 𝐹 𝑉 𝐹 𝐹
𝑉 𝑉 𝐹 𝑉 𝑉 𝐹 𝐹
𝑉 𝑉 𝐹 𝐹 𝑉 𝐹 𝐹
𝑉 𝐹 𝑉 𝑉 𝐹 𝑉 𝑉
𝑉 𝐹 𝑉 𝐹 𝐹 𝐹 𝑉
𝑉 𝐹 𝐹 𝑉 𝐹 𝐹 𝑉
𝑉 𝐹 𝐹 𝐹 𝐹 𝐹 𝑉
𝐹 𝑉 𝑉 𝑉 𝐹 𝑉 𝑉
𝐹 𝑉 𝑉 𝐹 𝐹 𝐹 𝑉
𝐹 𝑉 𝐹 𝑉 𝐹 𝐹 𝑉
𝐹 𝑉 𝐹 𝐹 𝐹 𝐹 𝑉
𝐹 𝐹 𝑉 𝑉 𝐹 𝑉 𝑉
𝐹 𝐹 𝑉 𝐹 𝐹 𝐹 𝑉
𝐹 𝐹 𝐹 𝑉 𝐹 𝐹 𝑉
𝐹 𝐹 𝐹 𝐹 𝐹 𝐹 𝑉

EJERCICIO 3:
a) Los estudiantes que no están en la carrera de física o de filosofía.
REPRESENTACION GRAFICA

LENGUAJE SIMBOLICO
𝑼\(𝑨 ∪ 𝑪)

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:
DATOS
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.
PREGUNTAS
¿Cuántos estudiantes perdieron exactamente una materia?
¿Cuántos estudiantes perdieron Pensamiento unadista o bases de datos, pero no
programación orientada a objetos?
¿Cuántos estudiantes perdieron únicamente pensamiento unadista?
REPRESENTACION GRAFICA

RESPUESTAS
40 Estudiantes perdieron exactamente una materia.
26 Estudiantes perdieron pensamiento unadista o base de datos.
16 Estudiantes perdieron únicamente pensamiento unadista.

LINK YOU TUBE: https://www.youtube.com/watch?v=XHGJbvluSp4&feature=youtu.be&hd=1

 CONCLUSIONES
Se relacionaron e interpretaron expresiones del lenguaje simbólico y del lenguaje natural en la
formulación y representación de estructuras semánticas lógicas en términos de variables y
conectores lógicos como elementos estructurales de la lógica proposicional articularles a diferentes
formas de comunicación en diversos contextos lo cual es de gran ayuda e importancia para poner
en práctica en la vida profesional para la que nos prepara esta carrera.
 BIBLIOGRAFÍA

1. Wagner, M. (2016). Lógica Proposiciones 1, [Video]. Recuperado

dehttp://hdl.handle.net/10596/6542

2. Amaya, H. (2016). Tablas de verdad colaborativo 2, [Video]. Recuperado

dehttp://hdl.handle.net/10596/6547