TRABAJO COLABORATIVO 1 - APORTE INDIVIDUAL

LEIDY ROCIO ALVAREZ GUERRA - 1106394706

GRUPO N 90004 769


GEORFFREY ACEVEDO
TUTOR:

















UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
CEAD JOS ACEVEDO Y GMEZ JAG
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA ECBTI
PROGRAMA DE INGENIERA DE SISTEMAS
CURSO VIRTUAL DE LOGICA MATEMTICAS
BOGOT D.C., OCTUBRE DE 2014
INTRODUCCIN




En el presente trabajo encontraremos el desarrollo de los temas de la Unidad 1
directamente relacionados con las operaciones entre conjuntos, las proposiciones y
lgica de las proposiciones, tablas de verdad, tipos y propiedades de las
proposiciones, se desarroll teniendo en cuenta los contenidos estudiados en el
mdulo e informacin complementaria suministrada de diferentes fuentes de
Internet lo cual fue muy valioso pues al principio se nos presentaron dificultades en
lo que tiene que ver con las operaciones entre conjuntos sin embargo fueron
superados con xito.

































ACTIVIDAD 6: TRABAJO COLABORATIVO 1 APORTE INDIVIDUAL


Fase 1. Teora de conjuntos

1. Notacin por comprensin /extensin

Teniendo en cuenta las siguientes figuras, construya cuatro opciones de
(conjuntos): grupos que considere tienen caractersticas semejantes (elementos en
comn). Recuerde que en cada caso, debe referenciar el nombre del conjunto
(Notacin por comprensin, caracterstica en comn) y reunir los elementos
seleccionados (Notacin por Extensin).


Primer conjunto:
Notacin por comprensin
A = {Figuras que poseen un circulo}
Notacin por extensin
A= { , }


Segundo conjunto:
Notacin por comprensin
B = {Figuras que poseen al menos un triangulo}
Notacin por extensin
B = { , }


Tercer conjunto:
Notacin por comprensin
C = {Figuras con al menos un rombo}
Notacin por extensin
C = { , }
Cuarto conjunto:
Notacin por comprensin
D = {figuras con lados curvos en alguna parte}
Notacin por extensin
D = { , , }


1.5 Aplicacin (problema entre conjuntos)

En un encuentro tutorial participan diez estudiantes, de los cuales dos matricularon
los cursos de Lgica y tica, cinco matricularon nicamente el curso de lgica, y
tres estudiantes tomaron nicamente el curso de tica.



Con la informacin suministrada y el Diagrama de Venn, completar la siguiente
informacin:

a. Cuantos estudiantes matricularon Lgica y tica? 2
b. Cuantos estudiantes matricularon Lgica o tica? 8
c. Cuantos estudiantes matricularon ms de un curso? 2
d. Cuantos estudiantes matricularon dos cursos? 2
e. Cuantos estudiantes matricularon menos de dos cursos? 8


1.5 En la afirmacin: Si Ana estudia, aprende lgica, se establece una
relacin entre dos expresiones: Ana aprende Lgica y Ana estudia. En
esta relacin, la expresin Ana aprende Lgica es consecuencia de la
expresin Ana estudia. Identifica la causa y la consecuencia en cada una de
las siguientes expresiones:

Ana aprende lgica si estudia Causa: Ana estudia Efecto: Ana aprende
Cuando llueve, hace fro Causa: Cuando Llueve Efecto: Hace fro
Si estudio, aprendo Causa: Si estudio Efecto: Aprendo
Aprendo cuando estudio Causa: Cuando estudio Efecto: Aprendo
Para aprender hay que leer Causa: Hay que leer Efecto: Para aprender
1.5 Haciendo uso de los diagramas de Venn,














Plantea una propuesta para representar el rea sombreada para la expresin: Juan
matricul lgebra o Lgica pero no Competencias Comunicativas, usando las
operaciones entre conjuntos A= Algebra, L = Lgica, C = Competencias
Comunicativas

Conjunto: U = {A, L, C}
Materias matriculadas: M = {A, L}, A L M, C M

La representacin simblica de la regin sombreada es (A L) C


1.5 De acuerdo con una encuesta virtual realizada a algunos estudiantes de la
UNAD, los amantes de la msica de Juanes son 12; mientras que los
estudiantes que nicamente gustan de la msica de Shakira son 18,
Cuntos estudiantes son fanticos de los dos artistas si 9 de los
encuestados, entre los 30 que no son fanticos de Shakira, afirman ser
fanticos de Juanes?

1.2 Diagrama de Venn:











1.2 Son fanticos de los dos artistas: 3 estudiantes
2. Fase 2. Principios de lgica

2.5 En su aporte individual, cada estudiante debe plantear diez expresiones
relacionadas con su programa de estudio, tal que cinco de las expresiones
correspondan a proposiciones lgicas y cinco expresiones que no puedan
ser clasificadas como proposiciones. De estas expresiones, el equipo debe
elegir una de las propuestas por cada participante, para el trabajo FINAL:

Nombre del
Estudiante
Son Proposiciones Lgicas:
No Son Proposiciones
Lgicas:
L
e
i
d
y

R
o
c
i
o

l
v
a
r
e
z

G
u
e
r
r
a

Leidy lvarez es estudiante de
Ingeniera de sistemas (V)
Vamos a entregar el
trabajo colaborativo
Los trabajos colaborativos se deben
realizar por todos los integrantes del
grupo (V)
Cmo estn
compaeros?
Lgica Matemtica es un curso que
solo se ve en el rea de Ingeniera
(F)

Me quedar
Georffrey Acevedo, es Tutor de la
UNAD (V)

No puedo completar la
respuesta
El aprendizaje autnomo no se
necesita en la mediacin virtual (F)
Pare, Inmediatamente!


2.5 A continuacin se propone identificar los conectivos lgicos y proposiciones
simples presentes en cada expresin, posteriormente plantearn una
expresin equivalente en lenguaje simblico:

Expresin Premisas
Lenguaje
Simblico
Si hay tolerancia, entonces hay
paz
p = hay tolerancia
q = hay paz
p q
Para aprender matemticas es
necesario ser ordenado y
constante
p = aprender matemticas
q = ser ordenado
r = ser constante
p (q ^ r)
Dos condiciones son necesarias y
suficientes para que tus hijos
tengan buena vida sobre la tierra:
ensales a controlar sus
impulsos y a desarmar su corazn
p = para que tus hijos tengan buena
vida sobre la tierra
q = ensales a controlar sus impulsos
r = desarmar su corazn
p (q ^ r)
Ana tiene perseverancia, orden y
amor por la tarea
p = Ana tiene perseverancia
q = orden
r = amor por la tarea
p ^ q ^ r
2.5 Las tablas de verdad nos permiten conocer el valor de verdad de una
proposicin compuesta para cada valor posible de las proposiciones simples
que la conforman. A continuacin, el equipo debe elaborar la tabla de verdad
de las siguientes proposiciones lgicas, finalmente, deben clasificar la
proposicin como tautologa, contradiccin o contingente de acuerdo al
resultado:

a. {[( ) ] ( )} ( )

La Proposicin es una: Expresin Contingente
















p q r s q (pq) [(pq)q] (pr) [(pq)q](pr) (qs) [(pq)q](pr)(qs)
V V V V F V V V F V V
V V V F F V F V F V V
V V F V F V F F F V V
V V F F F V F F F V V
V F V V V V F V V V V
V F V F V V F V V F F
V F F V V V F F F V V
V F F F V V F F F F V
F V V V F V F F F V V
F V V F F V F F F V V
F V F V F V F F F V V
F V F F F V F F F V V
F F V V V F F F F V V
F F V F V F F F F F V
F F F V V F F F F V V
F F F F V F F F F F V
b. [( ) ]

p q q p (pq) [(pq)p] [(pq)p]q
V V F F V F V
V F V F V F V
F V F V F F V
F F V V V V V











La Proposicin es una: La Expresin es una Tautologa


2.5 Mediante una tabla de verdad, evala la equivalencia entre las siguientes
dos proposiciones: Son equivalentes?

Primera proposicin: ( ) Segunda proposicin:

p q p pq (pq) (pq)(pq)
V V F F V F
V F F F F V
F V V V V V
F F V F V F

Las Proposiciones ________ son equivalentes










2.5 Proposiciones contraria, recproca y contra recproca. A continuacin el
equipo debe plantear las proposiciones contraria, recproca y contra
recproca de la expresin: Si el ganado es Jersey no tendr buena carne:

Directa Si el ganado es Jersey entonces no tendr buena carne
Contraria Si el ganado no es Jersey entonces tendr buena carne
Recproca No tendr buena carne si el ganado es Jersey
Contra recproca Tendr buena carne si el ganado no es Jersey






































CONCLUSIONES




Con este trabajo se logra un conocimiento ms a fondo sobre la primera unidad la
cual nos ensea sobre lo importante que son las teoras de conjuntos, conectivos
lgicos, deduccin e induccin, y que son la forma de iniciar la lgica matemtica la
cual nos da grandes bases para nuestro diario vivir.

Gracias a esta podemos afirmar que los conocimientos hasta ahora aprendidos son
de gran valor en nuestro proceso de formacin profesional porque nos ayuda a
reducir un problema de anlisis complicado debido a la complejidad de su estructura
lingstica mediante la transformacin en lgica simblica que facilita su solucin y
comprensin.































REFERENCIAS BIBLIOGRFICAS




ACEVEDO, Gonzlez, G. (2013). Mdulo de Lgica Matemtica. Colombia:
Universidad Nacional Abierta y a Distancia.

RECURSO. Material de apoyo para la unidad I. Recuperado Noviembre 27 de 2013
en: http://66.165.175.254/inter20132/mod/resource/view.php?id=49370

Aplicacin Tablas de Verdad - Expresin Booleana, Lawrence E. Turner, P h. D.
Profesor de Matemticas y Fsica del sudoeste Universidad Adventista:
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/