Pas 2

Conectivos lgicos y teora de conjuntos

Tatiana Milena Snchez Espaa

Cdigo 33308118
Graciela Rodriguez Vivanco
45361321

Tutor
Edgardo Alexander Escocia
Lgica matemtica
Grupo: 90004_554
Universidad abierta y a distancia UNAD
Programa: ingeniera de alimentos
Cartagena - Bolvar
Octubre 2016

INTRODUCCIN

Los conectivos lgicos son smbolos que se utilizan para conectar dos frmulas de modo que el
valor de verdad de la formula dependa del valor de verdad de los componentes. Los conectivos
son funciones de verdad quiere decir que son funciones que toman uno o dos valores de verdad y
devuelve un nico valor de verdad en consecuencia, cada conectivo lgico puede ser definida
mediante una tabla de valores de verdad que indique que valor devuelve la conectividad para
cada combinacin de valores de verdad.
Mientras que un conjunto es un grupo de elementos u objetos especificados en tal forma que se
puede afirmar con certeza si cualquier objeto dado pertenece o no a la agrupacin. Para denotar a
los conjuntos, se usan letras maysculas.
Cuando un elemento 1 x pertenece a un conjunto A se expresa de forma simblica como: x1
A . En caso de que un elemento 1 y no pertenezca a este mismo conjunto se utiliza la notacin: y1
A Existen cuatro formas de enunciar a los conjuntos:
1) Por extensin o enumeracin: los elementos son encerrados entre llaves y separados por
comas. Es decir, el conjunto se describe listando todos sus elementos entre llaves.
2) Por comprensin: los elementos se determinan a travs de una condicin que se establece
entre llaves. En este caso se emplea el smbolo | que significa tal que". En forma simblica es: A
= { x P(x) }= {x1 x, 2 x, 3 , x, n } que significa que el conjunto A es el conjunto de todos los
elementos x tales que la condicin P(x) es verdadera, como 1 2 3 x x, x, , etc1
3) Diagramas de Venn: son regiones cerradas que sirven para visualizar el contenido de un
conjunto o las relaciones entre conjuntos2.
4) Por descripcin verbal: Es un enunciado que describe la caracterstica que es comn para los
elementos.

OBJETIVOS

Conocer y entender los conceptos bsicos los conectivos lgicos y teora de conjunto

Conocer e identificar los diferentes tipos de conectores lgicos, cul es su smbolo, esquema,
significado y valor de verdad.

Desarrollar y construir tablas de verdad mediante interpretacin de los signos lgicos como:
no, o, y, sientonces, s y slo s.

Aplicar los conceptos fundamentales de la Teora de Conjuntos en la solucin de

problemas.

Paso 2 conectivos lgicos y teora de conjuntos

Tarea 1 proposiciones

a) : ,
: Soar no cuesta nada
:
( )
Lenguaje natural:
No es cierto e , entonces
soar no cuesta nada o no es cierto l
.
Determinacin del valor de la verdad
p:V
q:F
r:F
( )
F (F v V)
F V
V
b) : o 1, 1, 2, 3, 5, 8, 12
: El 36 tiene 9 divisores positivos
( ) ()
Lenguaje natural

Los primeros trminos de la sucesin de Fibonacci son 1, 1, 2, 3, 5, 8,12 y el 36 tiene 9 divisores

positivos o no es cierto que el 36 tiene 9 divisores positivos.

Determinacin del valor de la verdad

p: F
q: V
( ) ()
F Vv F
FVF
F
c) : 2 u

:
:
[( ) ( )]
Lenguaje natural
2 no es un nmero primo si solo si todo los nmeros entero no son naturales y los nmeros impares no son
nmeros primos o 2 no es un nmero primo
p:V
q:F
r:F
[( ) ( )]
[V F ) F V ]
[F
V]
[F ]
V

d) :
:
: a
( ) ( )
Lenguaje natural
No es cierto que Excel es un procesador de texto si y solo si Skype es una herramienta sincrnica y los
algoritmos son los pasos ordenados para solucin de un problema entonces Skype es una herramienta
sincrnica.

p: V
q: F
r: V
( ) ( )
V V V V
V V
V
e). : 121
:
: r
( ) ( )
Lenguaje natural
El cuerpo humano est conformado por 121 huesos y el yunque es hueso ms largo del ser humano o no es
cierto que el yunque es hueso ms largo del ser humano entonces el humero es un hueso ubicado en el
brazo del cuerpo humano
p: F
q:V
r:F
( ) ( )
FF V V
F V V
V
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.
a) No puedes daar a un ser humano o permitir que sufra dao si eres un robot.
p : puedes daar a un ser humano.
q : puedes permitir que sufra dao
r : eres un robot
(p q) r

b) O trabajas en la obra y eres ingeniero o trabajas en el campo y eres agrnomo.

p : trabajas en la obra
q : eres ingeniero
r : trabajas en el campo
s : eres agrnomo
(pq) (rs)

c.) Si quieres progresar debes estudiar y ahorrar para el futuro.

p : quieres progresar
q : ahorras para el futuro

(pq)

d.) Los habitantes del campo progresan si y solo si tienen servicios pblicos y una
vivienda adecuada.
p : los habitantes del campos progresan
q : tienen servicios pblicos
r : una vivienda adecuada
p ( q r)

e). Si Ramn no tiene xito, entonces no fue a la Universidad

p : ramn no tiene xito
q : no fue a la universidad
p q

Tarea 3: Teora de Conjuntos

A partir del ejemplo anterior representar cada una de las siguientes situaciones en
un diagrama de Venn y con las operaciones entre conjuntos, desde la siguiente
situacin: Consideremos eventos que se pueden representar por medio de un
conjunto
= { }
= { }
= { }
= { }
Estos conjuntos se representan en un diagrama:

a. Autos con transmisin automtica y clima

Desarrollo a
TC

b. Autos con transmisin automtica, pero no tenan clima ni auto estreo

Desarrollo b

c. Autos que no
transmisin automtica

tenan autoestreo, ni clima ni

Desarrollo c

d. Autos con clima y autoestreo

AC
Desarrollo d

e. Autos con transmisin automtica, clima o autoestreo

TCA
Desarrollo e

Tarea 4: Aplicacin de la Teora de Conjuntos

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

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.
F= {Conjunto de padres que practican futbol}
N= {conjunto de padre que practican natacin}
n (F+N) = n(F)+n(FN)+n(N)
40 = 20+ 12 + X
X= 40-32
X= 8
Nmero de padres que practican solo natacin 8
n(F+N)= n(F)+n(FN)+n(N)
n(F+N)-n(F)= n(FN)+n(N)
40-20 =12+8
20 = 20 los padres que practican natacin son 20
n(F+N)= 40
El nmero de padres que practican algunos de estos deportes es 40

b.) A una prueba de ingreso a la Universidad se presentaron 100 alumnos, de los cuales 65
aprobaron el examen de Matemticas, 25 el de Matemticas y Fsica y 15 aprobaron slo
el de Fsica. Cuntos no aprobaron ninguno de los exmenes mencionados.
M{conjunto de alumnos que aprobaron matemticas}
F{ conjunto de alumno que aprobaron fsica }
U= n(M)+n(MF)+n(F)-X
100=40 +25+15-X
X=100-80
X=20

El nmero de alumno que no aprobaron fueron 20

c. ) Se le pregunt a un grupo de 10 estudiantes sobre sus preferencias por dos marcas de

refrescos Pepsi y Coca Cola. Obtenindose lo siguientes resultados: El nmero de estudiantes que
prefirieron Pepsi pero no Coca Cola fue de 3. El nmero de estudiantes que no prefirieron Pepsi
fueron 6. Se desea saber: Cuntos de los encuestados prefirieron nicamente Pepsi? Cuntos de
los encuestados prefirieron Coca Cola? Cuntos de los encuestados prefirieron Pepsi o Coca
Cola?
P= {conjunto de estudiantes que prefirieron Pepsi}
C= {conjunto de estudiantes que prefirieron Coca Cola}
U= n (PC)+n(C) +X
10= 1+ 6 +X
X= 10-7
X= 3 los encuestados que prefirieron nicamente Pepsi son 3
U-X=n (PC)+n(C)
10-3= 1+6
7=7 el nmero de encuestado que prefirieron Coca Cola son 7
U-n(PC)= n(P)+n(C)
10-1= 3+6
9=9 El nmero de encuestado que prefirieron Pepsi o Coca Cola son 9

d) En una empresa se realiza una encuesta a sus 50 empleados y se obtienen los siguientes datos:
35 de ellos les gusta el trabajo 27 de ellos tienen buena relaciones con su jefe 15 de ellos les
gusta el trabajo y tienen buenas relaciones con su jefe
I.
Determina cuntas de estas personas:
II.
No tienen buenas relaciones con su jefe
III.
Tienen buenas relaciones con su jefe pero no les gusta su trabajo
IV.
Les gusta el trabajo pero no tienen buenas relaciones con su jefe
T= {empleados que le gusta el trabajo}
R= {empleados que tienen buena relaciones con su jefe}
n (T+R)= n(X)+n(TR)+n(R)
47= X+15+12
X=47-27
X= 20 Empleados que no tienen buena relaciones con su jefe son 20
n(T+R) = n(T)+n(TR)+X
47= 20+15+X
X= 47- 35
X= 12 empleados que tiene buenas relaciones con su jefe pero no le gusta su trabajo
son
12

e.

De 180 maestros de la Universidad

Nacional Abierta y a Distancia UNAD 135
tienen doctorado, 146 son investigadores
de tiempo completo. De los doctores 114 son investigadores de tiempo completo. Indicar
cuntos de estos maestros:
I.
Tienen su Doctorado o se dedican a investigar de tiempo completo
II.
No tienen su Doctorado ni se dedican a investigar de tiempo completo.
D= {maestros que tienen doctorado}
I= {maestros investigadores de tiempo completo}
U- 13=n (DI)+n(D)+n(I)
180 13 = 21 + 32 + 144
167 = 167 Tienen doctorado y se dedican a investigar de tiempo completo
U- X= n (DI)+n(D)+n(I)
180-X=114+21+32
X= 180 167 X= 13 No tienen su Doctorado ni se dedican a investigar de tiempo
completo.

CONCLUSIN

En conclusin esta actividad permiti afianzar conocimientos, y entender la importancia

de la lgica mediante reglas , tcnicas y representaciones , que permitieron comprobar
si un argumento es vlido. Adems conocer la aplicacin en las diferentes asignaturas
que componen nuestra formacin acadmica.

BIBLIOGRAFA

Julio Ernesto solis( 1995) Lgica matemtica disponible en:

http://www.uamenlinea.uam.mx/materiales/matematicas/logica/SOLIS_DAUN_JUL
IO_ERNESTO_Logica_Matematica.pdf
Antonia Huertas Snchez (2002) teora de conjunto disponible en:
https://pendientedemigracion.ucm.es/info/pslogica/teoriaconjuntos.pdf