INTRODUCCIÓN LÓGICA MATEMÁTICA

CONECTIVOS LÓGICOS Y TEORÍA DE CONJUNTOS

LUISA FERNANDA SALAZAR SALAMANCA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

MATERIA LOGICA MATEMATICA
PROGRAMA INGENIERIA DE ALIMENTOS
2016
Introducción

En este trabajo vamos a encontrar una serie de problemas sobre conectores lógicos y teoría

de conjuntos, donde daremos una solución a estos y usaremos mecanismos (informáticos)

para concretar la solución de alguno de estos problemas.

 Objetivo general

Estudiar las temáticas dispuestas para el desarrollo de este trabajo y así poder darles una

solución a los problemas propuestos.

Objetivos específicos

 Investigar las temáticas para el desarrollo del trabajo

 Utilizar un mecanismo el cual nos sirve para hallar la verdad a un

razonamiento lógico

 Resolver los problemas escogidos sobre conectores lógicos y teoría de

conjuntos
 Desarrollo de conectivos lógicos y teoría de conjuntos

Tarea 1: Proposiciones

Escriba la proposición compuesta propuesta en lenguaje natural y determine su valor de

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

C.

p: 2 es un número primo

q: Todos los números enteros son números naturales

𝑟: Los números impares son números primos

¬[(𝒑 ↔ 𝒒) ∧ (𝒓 ∨ 𝒑)]

Solución:

No 2 es un número primo si solo si todos los números enteros son naturales

Y los números impares son números primos o 2 es un numero primo.

Tarea 2: Tablas de verdad

Cada solución de los siguientes enunciados debe contar con las siguientes etapas:

 Expresión en lenguaje simbólico.

 Desarrollo mediante tablas de verdad

 Uso del simulador Truth Table.

B.

- O trabajas en la obra y eres ingeniero o trabajas en el campo y eres agrónomo.

Solución

p: o trabajas en la obra

q: y eres ingeniero

r: o trabajas en el campo

s: y eres agrónomo

(p ∧ q) ↔ (r ∧ s)

Desarrollo de la tabla de verdad

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 F V F
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 F
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 F
F F V F F F V
F F F V F F V
F F F F F F V
Simulador Truth Table.

Tarea 3: Teoría de Conjuntos

Representar cada una de las siguientes situaciones en un diagrama de Venn y con las

operaciones entre conjuntos, desde la siguiente situación: Consideremos eventos que se

pueden representar por medio de un conjunto:

A.

Autos con transmisión automática y clima

Solución

𝑻∩𝑨∩𝑫

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

De las siguientes situaciones representarlas en un diagrama de Venn y solucionar los interrogantes

planteados

B.

-A una prueba de ingreso a la Universidad se presentaron 100 alumnos, de los cuales 65

aprobaron el examen de Matemáticas, 25 el de Matemáticas y Física y 15 aprobaron sólo el

de Física. ¿Cuántos no aprobaron ninguno de los exámenes mencionados?

Aprobaron M (matemáticas)= 65

Aprobaron F (física)= 15

Aprobaron F y M = 25

No Aprobaron = X=20

Solución:

65-25+25+X+15=100

40+40+X=100

X=100-40-40

X= 20
 Conclusiones

 En conclusión determinamos que para la solución de estos problemas hay que tener

conocimientos previos para poder dar una solución óptima a lo que el problema nos

plantea.

 Con respecto a la incursión de mecanismos (informáticos ) es algo innovador que nos

ayuda a tener la seguridad de que la solución que damos es la correcta

 Bibliografías

Villalpando, B. J. F. (2000). Matemáticas discretas: aplicaciones y ejercicios. : Larousse -

Grupo Editorial Patria. Páginas 19 - 29. Recuperado de: http://hdl.handle.net/10596/6551

Chávez, C. P. (2000). Compendio de lógica. : Larousse - Grupo Editorial Patria. Páginas 151-

162. Recuperado de: http://hdl.handle.net/10596/6552

Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la educación

media. Bogotá, CO: Educar Editores S.A. Páginas 151 -162 Recuperado de:

http://hdl.handle.net/10596/6541

Escobar, M. R. (2010). Elementos de matemáticas para la administración. : Elibro. Páginas 7

– 87. Recuperado de: http://hdl.handle.net/10596/6545

Sánchez, H. R. (2014). Álgebra. México, D.F., MX: Larousse - Grupo Editorial Patria. Páginas

2- 30. Recuperado de: http://hdl.handle.net/10596/6546

Guerrero, S. L. M. (2005). Matemáticas. Sus fundamentos en secuencia óptima. Córdoba,

AR: El Cid Editor. Páginas 24 – 34. Recuperado de: http://hdl.handle.net/10596/6537

Guerrero, S. L. M. (2005). Matemáticas. Sus fundamentos en secuencia óptima. Córdoba,

AR: El Cid Editor. Páginas 24 – 34. Recuperado de: http://hdl.handle.net/10596/6537

Rhonal Alonso Delgado Padilla, .[ RHONAL ALONSO DELGADO PADILLA]. (2016, Abril 20).

[Tabla de la verdad]. Recuperado de: http://hdl.handle.net/10596/6549

Manuel Enrique Wagner Mendivelso. [manuel wagner]. (2016, marzo 9). [Lógica conjuntos

1]. Recuperado: http://hdl.handle.net/10596/6558

Juan Manuel Cortes Orozco .[ Juan Manuel Cortes Orozco ]. (2016, Abril 16). [Teoría de

conjuntos]. Recuperado de: http://hdl.handle.net/10596/6557

Universidad de Antioquia (2007) Fundamentos de Lógica y Teoría de Conjuntos [OVA]

Recuperado de http://docencia.udea.edu.co/cen/logica/