UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

LOGICA MATEMATICA 90004_50

Presentado por

Cristiam Javier Osorio

1026267010
Juan Gabriel Mora Pinzn
80818138

Fecha: 10/05/2017

Tutor

ALVARO BASTIDAS

Lgica matemtica 2017

Introduccin

La gua de aprendizaje podemos aprender de cmo usar sobre la teora entre conjuntos y
principios de lgica, donde logramos comprender las definiciones de la lgica formal; uso
de conectores lgicos y las leyes de las proposiciones, la universidad nos brindara las bases
para formalizar su conocimiento; y finalmente, se aborda la temtica de Razonamientos
deductivos e inductivos, donde lograra tener conocimiento con las instrucciones indicadas
por el instructor

Objetivos

Lograr entender la teora entre conjuntos y principios de lgica

Participar en grupo dando a portes y sugerencias sobre los ejercicios a desarrollar

Realizar los ejercicios solicitados en la actividad de aprendizaje

Tarea 1: Proposiciones

: .
: .
() ( )

P Q (P Q) ~(PQ) ~P (~PVQ) ~(PQ)<->(~PVQ)

Lgica matemtica 2017

 V V V F F V F

V F F V F F F

F V F V V V V

F F F V V V V

contingencia
Respuesta
La UNAD NO es una universidad y NO se cursan materias de manera virtual. SI SOLO SI,
La UNAD NO es una universidad O cursan de manera virtual.

Tarea 2: Tablas de verdad

Si Erika tiene un auto y no tiene licencia para conducir, entonces, Erika conducir su auto
hasta Bogot o la polica la detendr en el camino.

p: Erika tiene un auto

q: Tiene licencia para conducir.
r: Erika conducir su auto hasta Bogot.
s: Polica la detendr en el camino.

(P^~Q) (RS)

Desarrollo mediante tablas de verdad

Lgica matemtica 2017

 A B Preposicin Simple = 4
(P^~Q) (RS) 24=16

PQRS ~Q P^~Q RS A B
VVVV F F V V
VVVF F F V V
VVFV F F V V
VVFF F F F V
VFVV V V V V
VFVF V V V V
VFFV V V V V
VFFF V V F F
FVVV F F V V
FVVF F F V V
FVFV F F V V
FVFF F F F V
FFVV V F V V
FFVF V F V V
FFFV V F V V
FFFF V F F V

Truth Table.

El resultado de la tabla de verdad me muestra una tabla de Contingencia debido a que se

muestra un dato diferente.

Lgica matemtica 2017

Lgica matemtica 2017
Tarea 3: Teora de Conjuntos
D..Los estudiantes que solo resolvieron la tabla de verdad y la validez de un razonamiento

E.Los estudiantes que no resolvieron ningn problema

Tarea 4: Aplicacin de la Teora de Conjuntos

Lgica matemtica 2017

Desde la Decanatura de Ciencias Agrarias de la UNAD, se ha planteado como estrategia de
trabajo de campo una expedicin por tres lugares maravillosos del territorio colombiano, para
lo cual se han convocado a los 12573 estudiantes de Agronoma para que sean participen de
dichas expediciones. Infortunadamente cierto nmero de estudiantes no podrn asistir a
ninguno de los lugares seleccionados por situaciones laborales y familiares, Lina desea saber
cuntos estudiantes son, para tenerlos en cuenta para futuros trabajos de campo. Uno de los
tres lugares es Cao Cristales y en total asistirn 5826 estudiantes; pero slo 4221 irn all a
Cao Cristales; slo al Parque Nacional de los Nevados irn 3076 estudiantes; 420 de los
estudiantes irn slo a dos de los lugares escogidos, que son el Parque Nacional de los
Nevados y Cao Cristales; otro grupo de 673 escogieron slo dos lugares para ir, dichos
lugares son Cao Cristales y la Isla Gorgona; slo a la Isla Gorgona ir un grupo de 2020
estudiantes; y en total un grupo de 1902 estudiantes irn al Parque Nacional de los Nevados
y a la Isla Gorgona. De acuerdo a la informacin anterior, cuntos sern los estudiantes que
Lina tendr en cuenta para futuras expediciones, ya que a las citadas no podrn asistir?

Tres lugares maravillosos del territorio colombiano

Cao Cristales

Parque Nacional De los Nevados

Isla Gorgona

En total asistirn 4221 + 420 + 3076 + 673 + 1902 + 2020=12312 estudiantes.

No asistirn 12573-12312=261 estudiantes.

Lgica matemtica 2017

 Cao Caizales Parque Nacional del Nevado

Isla Gorgona

Cuntos sern los estudiantes que Lina tendr en cuenta para futuras expediciones,

ya que a las citadas no podrn asistir?

A travs del diagrama de ven se observa que Lina tendr en cuenta 12312 estudiantes para

las futuras expediciones.

Lgica matemtica 2017

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:
C:
: .
: .
( ) ( )

P Q (P Q) (PVQ) P (pq) (pVq)

V V V V F V

V F F F F V

Lgica matemtica 2017

 F V F V V V

F F F V V V

Tautologa
Respuesta en lenguaje natural
SI tres colombianos han ganado el premio nobel ENTONCES Gabriel Garca Mrquez
gan un nobel de paz SI Y SOLO SI tres colombianos NO han ganado el premio nobel O
Gabriel Garca Mrquez gan un nobel de paz.

Valor de verdad P: f
Q: f

( ) ( )
( f f ) ( )
( v ) ()
La proposicin es falsa (f)

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.

D. Estudiar en la UNAD me dar crecimiento personal si y solo si me esfuerzo y

soy responsable.

p: Estudiar en la UNAD me dar crecimiento personal

q: me esfuerzo

Lgica matemtica 2017

r: soy responsable
p (q r)

p (q r)
p q r (q r)

V V V V V

V V F F F

V F V V F

V F F V F

F V V V F

F V F V V

F F V V V

F F F V V

TRUTH TABLE

Tarea 3: Teora de Conjuntos

Lgica matemtica 2017

Consideremos eventos que se pueden representar por medio de un conjunto:
= { }
= { }
= { }
{ }

a. Los estudiantes que realizaron los tres problemas (problema de conjuntos,

problema de tablas de verdad, problema de la validez de un
razonamiento)

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:
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.

Solucin:

Lgica matemtica 2017

 A equipos con defecto en la pantalla: 20 EQUIPOS
B equipos con defectos en el pin de carga: 70 EQUIPOS
C equipos con mal funcionamiento de pantalla y pin de carga: 40 EQUIPOS
U lote de 130 equipos con fallas

Conclusin

Al realizar estas actividades se logra entender por qu podemos utilizar la lgica

matemtica y la disciplina que debemos tener. Me parece que la actividad es muy
dinmica y logramos entender cada significado con los materiales que nos ofrece la
universidad

Villalpando, B. J. F. (2014). Matemticas discretas: aplicaciones y ejercicios. :

Larousse - Grupo Editorial Patria. Pginas 29 38. Recuperado
de: http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=40&
docID=11013570&tm=1492519542738

Rodrguez, V. R. (2013). Conjuntos numricos, estructuras algebraicas y

fundamentos de lgebra lineal. Volumen I: conjuntos numricos, complementos.
Madrid, ES: Editorial Tbar Flores. Pginas 17-29. Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=18&d
ocID=10995629&tm=1492519731065

Lgica matemtica 2017

 Prez, A. R. (2013). Una introduccin a las matemticas discretas y teora de
grafos. Crdoba, AR: El Cid Editor. Pginas 3-22. Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=20&d
ocID=10732485&tm=1492519941380

Chvez, C. P. (2000). Compendio de lgica. : Larousse - Grupo Editorial Patria.

Pginas 163-166. Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=178&
docID=11046000&tm=1492520104862

Prez, A. R. (2013). Una introduccin a las matemticas discretas y teora de

grafos. Crdoba, AR: El Cid Editor. Pginas 40-49
Recuperadohttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?p
pg=59&docID=10732485&tm=1492520387992

Garcia, G. Y. L. (2010). Introduccin al clculo diferencial. Mxico: Instituto

Politcnico Nacional. Argumentos y reglas de inferencia. Pginas 183 - 192
Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=196&
docID=10378216&tm=1492520562843

Jairo Luis Gutirrez Torres. [ IngGuitierrezTorres ]. (2016, Abril 11). [Tutora

Unidad 2 Curso 90004]. Recuperado de:http://hdl.handle.net/10596/6559

Wilmer Hernn Gutirrez Ramos. [Wilmer Hernn Gutirrez Ramos]. (2016,

Abril 10 [Validez de un argumento]. Recuperado
de:http://hdl.handle.net/10596/6543

Carolina Castao Gutirrez. [Carolina Castao Gutirrez]. (2016, Abril 10

[Razonamientos Lgicos]. Recuperado de:http://hdl.handle.net/10596/6548

Yeimy Julieth Moreno Jimnez. [Yeimy Julieth Moreno Jimnez]. (2016, Abril
11 [Validez de un razonamiento]. Recuperado
de:http://hdl.handle.net/10596/6540

Lilia Patricia Leguizamn Palma. [Jeisson Prieto]. (2016, Abril 10 [Video

Unidad 2 Lgica Matemtica]. Recuperado de:http://hdl.handle.net/10596/6553

Vivian Yaneth lvarez Altamiranda. [Vivian Yaneth lvarez Altamiranda].

(2016, Abril 08 [Demostracin por Reduccin al Absurdo]. Recuperado
de:http://hdl.handle.net/10596/6539

Lgica matemtica 2017

Lgica matemtica 2017