PASO 2

CONECTIVOS LOGICOS Y TEORIA DE CONJUNTOS

Autor:
CLAUDIA MILENA MESA
Cd: 52320747

Tutor:
POLANCO LARA JUAN

LOGICA MATEMATICA
GRUPO 90004_895

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS AGRICOLAS PECUARIAS Y DEL MEDIO AMBIENTE
CEAD JOSE ACEVEDO Y GOMEZ
2016

INTRODUCCION

La Lgica es la disciplina que se ocupa de los mtodos de razonamiento,

suministrando reglas y tcnicas que nos permiten decidir si una argumentacin,
una deduccin, es correcta o no. Es la base de todo razonamiento matemtico y
tiene numerosas aplicaciones en las ciencias de la computacin, en las ciencias
fsicas y naturales, en las ciencias sociales y en la vida diaria.
En esta actividad se desarrollaran las temticas
verdad, conjuntos y sus respectivas operaciones.

de proposiciones, tablas de

Donde el anlisis lgico de una proposicin nos determinara si una situacin es

falsa o verdadera por medio del mtodo de tablas de verdad en un enunciado y de
igual manera analizaremos las diferentes operaciones que hay entre conjuntos
como son la unin y la interseccin y as mismos llegar a la comprensin de los
conectores lgicos en un lenguaje natural, a partir de una representacin grfica.

OBJETIVOS

OBJETIVO GENERAL

Estudiar, analizar y profundizar los conceptos fundamentales de la teora de

conjuntos, bsicos para llegar a la comprensin de los conectivos lgicos y su
relacin con el lenguaje natural, a la vez que son aplicados en la solucin de
problemas.

OBJETIVOS ESPECFICOS

Reconocer y aprender los conceptos fundamentales de los conectores

lgicos y teora de conjuntos.
Determinar las condiciones necesarias y suficientes de la verdad de una
proposicin o enunciado.
Reconocer los tipos de conectores lgicos en una proposicin.
Identificar las relaciones entre conjuntos.
Representar grficamente los conjuntos.
Realizar las diferentes operaciones entre conjuntos.
Resolver problemas con conjuntos.

DESARROLLO DE LAS 4 TAREAS

Tarea 1: proposiciones
Escriba la proposicin compuesta propuesta en lenguaje natural y determine su
valor de verdad, a partir del valor de verdad de cada proposicin simple:
Ejercicio c:
p: 2 es un nmero primo
q: todos los nmeros enteros son nmeros naturales
r: los nmeros impares son nmeros primos

Solucin:
Proposicin compuesta en lenguaje natural:
2 es un numero primo si y solo si todos los nmeros enteros son nmeros
naturales y los nmeros impares son nmeros primos.
Su valor de verdad:
p: 2 es un nmero primo. La proposicin es (V) verdadera, porque un nmero
primo es un nmero natural mayor que 1 que tiene nicamente dos divisores
distintos: l mismo y el 1.
q: todos los nmeros enteros son nmeros naturales. La proposicin es (F) falsa,
porque Los enteros son como los naturales, pero se incluyen los nmeros
negativos.
r: los nmeros impares son nmeros primos. La proposicin es (F) falsa, porque
un nmero primo es un nmero natural mayor que 1 que tiene nicamente dos
divisores distintos: l mismo y el 1.
[(pq) (r p)]

Tarea 2: tablas de verdad

Cada solucin de los siguientes enunciados debe contar con las siguientes
etapas:

 Expresin en lenguaje simblico

Desarrollo mediante tablas de verdad
Uso del simulador Truth table

Ejercicio b.
O trabajas en la obra y eres ingeniero o trabajas en el campo y eres agrnomo.
Solucin:
p: Trabajas en la obra
q: Eres ingeniero
r: Trabajas en el campo
s: eres agrnomo

(p q) V (r s)
TABLA DE VERDAD

(PQ)

(R S)

( P Q ) V (R S)

V
V

V
V

V
V

V
F

V
V

V
F

V
V

TRUTH TABLE

Tarea 3: teora de conjuntos

Representar la siguiente situacin en el diagrama de Venn y con las operaciones
entre conjuntos.
Ejercicio a.
Autos con transmisin automtica y clima

Solucin:
Consideremos eventos que se pueden representar por medio de un conjunto
U= {autos de una agencia}
T= {autos con transmisin automtica}
C= {autos con clima}
A= {autos con autoestreo}

Diagrama de venn

TUC

T U C: Autos con transmisin automtica y clima

Tarea 4: aplicacin de la teora de conjuntos

De las siguientes situaciones representarlas en un diagrama de Venn y solucionar
los interrogantes planteados.
Ejercicio a.
Se pregunt a 50 padres de alumnos sobre los deportes que practicaban,
obtenindose los siguientes resultados: 20 practican slo ftbol, 12 practican ftbol
y natacin y 10 no practican ninguno de estos deportes. Con estos datos averigua
el nmero de padres que practican natacin, el nmero de ellos que slo practican
natacin y el de los que practican alguno de dichos deportes.
Solucin:

f = ftbol
n = natacin
fn = ftbol y natacin

Ninguno = ni ftbol ni natacin

Diagrama de Venn:

Como el total de Padres a quienes se le pregunto sobre que deporte

practican es de 50 entonces tenemos:
20 + 12 + 10 + ? = 50
? = 50 - 20 - 12 - 10
? = 8 Padres que solo practican natacin
Si llamamos Pn a los Padres que practican natacin (sin importar que
practiquen tambin otro deporte), entonces:
Pn = 12 + 8 = 20
Si llamamos Pa a los Padres que practican alguno de dichos deportes
(entendindose por alguno, que solo practica un deporte), entonces:
Pa = 20 + 8 = 28

CONCLUSIONES

La lgica matemtica nos ofrece mtodos que ensean cmo formar

proposiciones, evaluar sus valores de verdad y determinar si unas
conclusiones se pueden deducir correctamente a partir de proposiciones
supuestas.
Es un modo sencillo y prctico de resolver un problema, considerando que
se puede resolver disgregando el problema en proposiciones u oraciones
sencillas que permiten analizar los hechos y tomar decisiones, es decir,
crear nuevas proposiciones u oraciones sencillas o compuestas que se
incorporan a la base de conocimiento, permitiendo el incremento y mejora
de esta.
La teora de conjuntos es muy importante para poder estudiar las relaciones
existentes entre un todo y sus partes, nos permite utilizar los conjuntos
como herramienta para analizar, clasificar y ordenar los conocimientos
adquiridos desarrollando la compleja red conceptual en que almacenamos
nuestro aprendizaje.

REFERENCIAS BIBLIOGRAFICAS

Acevedo et al. (2010). Lgica matemtica. Teora de conjuntos y principios de

lgica.
Recuperado
de:
http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_90004_CO
RE_anteriores/Modulo/2010_febrero_3_Modulo_de_Logica.pdf

Gonsalez (2005). Lgica de proposiciones. Proposiciones y tablas.

Recuperado
de:
http://www2.uca.es/matematicas/Docencia/ESI/1711051/Apuntes/Leccion1.pd
f
Manuel Enrique Wagner Mendivelso. [Manuel Wagner]. (2016, Marzo 9).
[Lgica Proposiciones 1]. Recuperado de: http://hdl.handle.net/10596/6542
Hctor Fabio Amaya Daz. [Hctor Fabio Amaya Daz]. (2016, Abril 10). [Tablas
de verdad colaborativo 2]. Recuperado de: http://hdl.handle.net/10596/6547
Juan Manuel Cortes Orozco. [Juan Manuel Cortes Orozco]. (2016, Abril 16).
[Teora de conjuntos]. Recuperado de: http://hdl.handle.net/10596/6557
Acevedo (2010). Uso de un generador de tablas de verdad 2. Recuperado de:
https://www.youtube.com/watch?v=ZKg7wt9EGJI&feature=player_embedded