LGICA MATEMTICA

GRUPO 90004A_361

PASO 2

CONECTIVOS LGICOS Y TEORIA DE CONJUNTOS DE LGICA MATEMTICA

ELABORADO POR
Jonatan Nemias Mogollon Imva 1075096827
Carlos Julio Murcia Rodrguez 80202418

PRESENTADO A TUTOR:

JUALIAN ZAPATA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

2017
INTRODUCCION

En el desarrollo de los ejercicios propuestos en el presente trabajo colaborativo, aplicaremos

los conocimientos aprendidos sobre teora de conjuntos y principios de la lgica, utilizando

los conectores lgicos y las leyes de las proposiciones y aplicando igualmente los contenidos

sobre razonamientos deductivos e inductivos, para dar solucin a los interrogantes planteados

a travs de la capacidad interpretativa, propositiva y de sntesis de cada uno de los integrantes.

Con el objetivo de sacar adelante la tarea, el grupo interactu en el foro colaborativo para a

travs de observaciones respetuosas, corregir o complementar las respuestas a las tareas

asumidas de manera individual, retroalimentando con ello los conocimientos sobre conectivos

lgicos y teoria de conjuntos de lgica matemtica, aplicables al presente trabajo.

OBJETIVOS

- Desarrollar la primera tarea enunciando las proposiciones compuestas propuestas, en

lenguaje natural determinando su valor de verdad, con fundamento en el valor de

verdad de cada proposicin simple.

- Solucionar los enunciados propuestos, expresndolos en lenguaje simblico,

desarrollando tablas de verdad y haciendo uso del simulador Truth Table.

- Simbolizar los eventos propuestos a travs de conjuntos, y con fundamento en ellos

representar en un diagrama de Venn las situaciones e interrogantes planteados.

- Afianzar los conocimientos sobre teora de conjuntos y principios de la lgica,

necesarios para al desarrollo de la tarea, por medio de la interaccin entre los

compaeros del foro colaborativo

Pantallazo Digilenciamiento Tabla # 1
DESARROLLO DE LAS TAREAS

Tarea 1:

Escriba la proposicin compuesta propuesta en lenguaje natural y determine su valor de

verdad, a partir del valor de verdad de cada proposicin simple:

a.
: .
: .

Proposicin compuesta en lenguaje natural:

No es cierto que la UNAD es una universidad y que las materias en la UNAD se cursan de
manera virtual, si y solo si, La UNAD no es una Universidad o las materias en la UNAD se
cursan de manera virtual.

Valor de verdad:

p:V q: V
() ( )
(VV) ( )
(V)


b.

p: los estudiantes de la UNAD estudian los contenidos del Entorno de conocimiento.

q: los estudiantes aprenden a desarrollar los ejercicios.

Proposicin compuesta en lenguaje natural:

Los estudiantes de la UNAD estudian los contenidos del entorno de conocimiento entonces
los estudiantes aprenden a desarrollar los ejercicios y los estudiantes no aprenden a desarrollar
los ejercicios entonces los estudiantes de la UNAD no estudian los contenidos del entorno de
conocimiento.

Valor de verdad:

p. V q. V
[(pq)q]p
[ (VV) F ]F
(V F) F
VF
V

c.

: .
: .

Proposicin compuesta en lenguaje natural:

Si tres colombianos han ganado el premio nobel de paz, entonces Gabriel Garca Mrquez
gan un nobel de paz, si y solo si, tres colombianos no han ganado el premio nobel o Gabriel
Garca gan un nobel de paz.

Valor de verdad:

=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. Si estamos en el ao 2017 o faltan dos aos para el mundial y no faltan dos aos para
el mundial de ftbol, entonces estamos en el ao 2017.

p: Estamos en el ao 2017
q: Faltan dos aos para el mundial de futbol

{(p v q)^ q} p

p q q (p v q) {(p v q)^ q} {(p v q)^ q} p

V V F F F V
V F V V V V
F V F V V V
F F V F V V

Uso del simulador Truth Table:

d. Estudiar en la UNAD me dar crecimiento personal si y solo si me esfuerzo y soy
responsable.

Expresin en lenguaje simblico:

p (q r)
Desarrollo mediante tablas de verdad:
p q r qr p(qr)
V V V V V
V V F F F
V F V F F
V F F F F
F V V V F
F V F F V
F F V F V
F F F F V

E. Si Carlos no trabaja en el da y se dedica al estudio en la noche, se matricula en la

universidad.
P y q entonces r
P ^ q
(P ^q ) r

P: Carlos no trabaja en el da P
Q: Carlos se dedica al estudio en la noche q
R: Carlos si se matricula en la universidad r
P q r P (P ^ q ) (P ^ q ) r
V V V F F V
V V F F F V
V F V F F V
V F F F F v
F V V V V V
F V F V V F
F F V V F V
F F F V F v

Uso del simulador Truth Table:

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. Los estudiantes que realizaron los tres problemas (problema de conjuntos, problema
de tablas de verdad, problema de la validez de un razonamiento)

d. Los estudiantes que solo resolvieron la tabla de verdad y la validez de un

razonamiento

e. Los estudiantes que no resolvieron ningn problema

U-C-T-V = {xC,/ x T,, x V }

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 realiz en una empresa de telecomunicaciones una verificacin del estado de un

lote de 130 equipos celulares que presentaban fallas tcnicas, encontrando los
siguiente: A equipos con defecto en la pantalla, B equipos con defectos en el pin de
carga, Se observ que los equipos con mal funcionamiento de pantalla y pin de carga,
son el doble de los que slo tienen pantalla daada; mientras que los que slo tienen
 defecto en pin de carga son 70 equipos.

A: Equipos con defecto en la pantalla

B: Equipos con defectos en el pin de carga

+ 2 + 70 = 130
+ 2 = 130 70
3 = 60

60
=
3
= 20

20 + 2(20) + 70 = 130
20 + 40 + 70 = 130

b. Se realiz una encuesta a 100 estudiantes que estudian ingenieras en la UNAD, se les
pregunto qu curso preferan; la encuesta arrojo los siguientes resultados:

A 45 de ellos les gusta el curso de Algebra, a 40 les gusta el curso de Clculo

Diferencial, a 48 les gusta el curso de Fsica; a 15 les gusta el curso de Algebra y el
curso de Clculo Diferencial, a 13 el de Algebra y Fsica, a 10 el de Clculo
Diferencial y el de Fsica, a 5 les gusta los tres cursos.

Cuntos estudiantes prefieren solo el curso de clculo diferencial?

 A cuntos estudiantes solo prefieren el curso de Fsica?
Cuntos estudiantes prefieren nicamente los cursos de Algebra y Fsica?
Cuntos estudiantes prefieren solamente los cursos de Clculo Diferencial y Fsica?

= { }
= { }
= { }
= { }
Estos conjuntos se representan en un diagrama:

Las cifras de preferencias de los estudiantes se representan as en el diagrama:

El diagrama refleja entonces:

5 estudiantes que son coincidentes en el gusto por los tres cursos (A ).

 15 estudiantes prefieren algebra y calculo diferencial (A ), estos comprenden a los

5 estudiantes que tienen gusto por los tres cursos, ms los 10 restantes.

13 estudiantes que coinciden en preferir algebra y fsica (AC) estos igualmente

comprenden a los 5 estudiantes que se inclinan por los tres cursos, ms los 8 restantes.

10 estudiantes que son coincidentes en el gusto por los cursos de clculo diferencial y

fsica (B C), estos comprenden a los 5 estudiantes que tienen gusto por los tres

cursos, ms los 5 restantes.

45 estudiantes que les gusta el curso de algebra (A), este comprende los estudiantes de

las intersecciones (ABC), (AB), (AC), y los restantes es decir, 45-5-10-8= 22

estudiantes.

40 estudiantes que les gusta el curso de calculo diferencial (B), este comprende los

estudiantes de las intersecciones (ABC), (AB), (BC), y los restantes es decir,

40-5-10-5= 20 estudiantes.

48 estudiantes que les gusta el curso de fsica (C), este comprende los estudiantes de

las intersecciones (ABC), (AC), (BC), y los restantes es decir, 48-5-8-5= 30

estudiantes.

Lo anterior, para un total de 100 estudiantes de Ingeniera de la UNAD.

Cuntos estudiantes prefieren solo el curso de clculo diferencial?

20 estudiantes.
A cuntos estudiantes solo prefieren el curso de Fsica?

30 estudiantes.

Cuntos estudiantes prefieren nicamente los cursos de Algebra y Fsica?

8 estudiantes.
 Cuntos estudiantes prefieren solamente los cursos de Clculo Diferencial y Fsica?

5 estudiantes.

c. Una firma planea un proyecto de construccin de 140 viviendas teniendo en cuenta las
especificaciones requeridas por cada cliente, por lo que se han determinado las siguientes
cantidades de casas a construir: 55 casas con stano, 82 casas resultan de la unin del
conjunto de casas con stano con el de casas con terraza, las casas con terraza y jardn son 21,
las casas con terraza son 40 y 23 son las casas que no requieren ninguna especificacin de las
mencionadas. Para terminar la planeacin, los ingenieros deben determinar las siguientes
cantidades:

Cuntas casas deben tener terraza nicamente?

Cuntas casas deben tener jardn nicamente?
Cuntas casas deben tener stano y terraza?
CONCLUSIONES

- En desarrollo de la tarea No. 1 de la que el grupo desarrollo los literales a, b y c,

logramos expresar en lenguaje natural las proposiciones compuestas propuestas,

asignando a cada una su valor de verdad.

- De otro lado y en relacin con la tarea No. 2, los enunciados propuestos a, d y e

fueron expresados por cada uno de los participantes del foro en lenguaje simblico,

desarrollando tablas de verdad para determinar su valor (V o F), y haciendo uso para

ello del simulador Truth Table.

- En relacin con la tarea No. 3 de la que desarrollamos los puntos a, d y e, cada uno de

los participantes del foro en desarrollo de la tarea individual, simbolizamos los

eventos propuestos a travs de conjuntos, y posterior a ello, representando en un

diagrama de Venn las situaciones planteadas.

- Finalmente y en cumplimiento de la tarea no. 4 de la que realizamos los literales a, b

y c, a travs de la representacin de diagramas de Venn, solucionamos los

interrogantes planteados en los diferentes ejercicios.

BIBLIOGRAFA Y WEBGRAFA

- Simulador Truth Table:

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/