TRABAJO COLABORATIVO 1

WILLIAM RIVERA GUZMAN

CODIGO: 1080183751

JOSE LUIS RIVERA GUZMAN
CODIGO: 1080182440




















UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)
LOGICA MATEMATICA
GARZON HUILA
2013

INTRODUCCIN

El presente trabajo tiene como finalidad demostrar los conocimientos adquiridos
en la Unidad 1, como son la teora de conjuntos, su relacin entre ellos, diferentes
clases de conjuntos y su representacin grfica y la solucin de problemas con los
mismos. Se plantearan y formularan expresiones del lenguaje simblico y el
lenguaje natural, haciendo un anlisis en la aplicacin de conectores lgicos que
se dan para determinadas situaciones que se plantean en el trabajo a presentar.
Argumentar y formular tablas de verdad por medio del anlisis de premisas y todos
los conocimientos adquiridos en los captulos de deduccin e Induccin.
































OBJETIVOS



- Desarrollaremos diferentes actividades para expresar razonamientos
lgicos en lenguaje simblico.


- Identificaremos y aplicaremos las leyes de la lgica en proceso de
argumentacin, al llevarlas al lenguaje natural


































1. Se llev a cabo una investigacin con 1000 personas, para determinar que
medio utilizan para conocer las noticias del da. Se encontr que 400 personas
escuchan las noticias en forma regular por TV, 300 personas escuchan las noticias
por la Radio y 275 se enteran de las noticias por ambos medios.

a. Cuntas de las personas investigadas se enteran de las noticias solo por la
TV?
b. Cuantas personas utilizan medios diferentes a TV y Radio para conocer las
noticias?



TV RADIO

125 275 25





Solucin:
a. se enteran de las noticias solo por tv 125 personas.
b. 300 personas utilizan medios diferentes a tv y radio, para conocer las noticias.





2. Haciendo uso de un diagrama de Venn (ver figura), plantea una propuesta para
representar el rea sombreada que corresponde al conjunto cuyos elementos
cumple con la expresin: Juan matricul Ingls y Lgica pero no Antropologa.
Igualmente, haga la representacin simblica utilizando las letras I: para Ingls, L:
para Lgica y A: para Antropologa


I L




A












3. La representacin mediante diagramas permite interpretar correctamente las
diferentes relaciones entre conjuntos. Al estudiar la Figura 1 y asumir las
convenciones:
U: Trabajadores
A: Trabajadores del sector pblico
B: Trabajadores del sector privado
C: Trabajadores de la empresa CADE
D: Trabajadores de la empresa DECA

Considerando que existe al menos un trabajador en todos los espacios del
diagrama, cules de las siguientes conclusiones son correctas.
a. Todo trabajador del sector pblico es tambin trabajador del sector privado.
Respuesta: (falso)

b. Si se trabaja en la empresa DECA se es un trabajador del sector privado.
Respuesta: (verdadero)

c. Existen trabajadores del sector privado que se desempean en la empresa
CADE.
Respuesta: (falso)

d. Si se trabaja en la empresa CADE se es un trabajador del sector pblico.
Respuesta: (verdadera)

e. Existen trabajadores del sector pblico que se desempean en la empresa
DECA.
Respuesta: (falso)

f. Existen trabajadores del sector pblico que se desempean en el sector privado.
Respuesta: (verdadero)

g. Algunos trabajadores no se desempean ni en el sector pblico ni en el sector
privado.
Respuesta: (verdadero)





















4. Cada estudiante debe proponer cuatro expresiones relacionadas con su
programa de estudio, de tal manera que dos de las expresiones sean proposiciones
lgicas y dos expresiones que no puedan ser clasificadas como proposiciones.

Nombre del
estudiante
Son proposiciones lgicas: No son proposiciones lgicas



William rivera

* La ejecucin de la agronoma
ayuda a obtener mejores
resultados en los cultivos.
* La agronoma solo es
estudiada por personas que
viven en el campo.
* El desaprovechamiento que se
da en el potencial exportador de
las frutas tropicales se origina
bsicamente porque existen
problemas fitosanitarios que no
han sido controlados.
* Las personas que no estudian
agronoma no pueden cultivar.




Jos Luis rivera
* La administracin de empresas,
es una ciencia social que estudia
la organizacin de las empresas
y la manera como se gestionan
los recursos, procesos y
resultados de sus actividades.
* Todas las personas que
quieran ocupar cargos
importantes deben estudiar
administracin de empresas.

* La administracin es un proceso
muy particular consistente en las
actividades de planeacin,
organizacin, ejecucin y control.
* La administracin de
empresas no se puede estudiar
a distancia.








5. Una manera de representar el conjunto de los nmeros reales R y los dems
conjuntos numricos como son los naturales N = {1,2,3}, enteros Z={-2.-
1,0,1,2,3}, racionales Q ={..-2/3,,5/4}, e irracionales I ={,e,,..} sera a
travs del siguiente diagrama:


Deducir de acuerdo a la informacin propuesta el valor de verdad de los siguientes
enunciados (Proposiciones Simples o Atmicas):
a. Los nmeros enteros pueden ser negativos y positivos.
b. Los nmeros naturales son un subconjunto de los nmeros racionales.
c. Todo nmero entero en un racional.
d. Algunos enteros son irracionales.
e.










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

Expresin Declaracin de
premisas
Lenguaje simblico
Ejemplo: Si hay tolerancia, entonces hay
paz.
p = hay tolerancia
q = hay paz

p q
Colombia ser un pas prspero, si
invierte ms recursos en
educacin y en salud.
P = Colombia ser
un pas prospero
q = invierte ms
recursos en
educacin
r = salud


(p q) ^ r
Si la materia prima llega a tiempo y
la maquinaria funciona, no
tendremos retraso en la entrega
de la mercanca.
p = materia prima
llega a tiempo.
q = la maquinaria
funciona.
r = tendremos
retraso en la entrega
de la mercanca

(p ^ q) r
Si desarrollamos oportunamente el
trabajo colaborativo, el tutor puede
revisarlo y sugerir correcciones.
p = desarrollamos
oportunamente el
trabajo colaborativo.
q = el tutor puede
revisarlo.
r = sugerir
correcciones.

(p q) ^ r
Soy un empresario exitoso o
docente universitario cualificado,
nicamente, si estudio y me
grado en la UNAD.
p = soy un
empresario exitoso.
q = docente
universitario
cualificado.
r = nicamente.


(p q) r ( t ^ y)
t = estudio.
y = me gradu en la
unad
Si pudiera vivir nuevamente mi
vida, no vera televisin y leera
ms libros.
p = pudiera vivir
nuevamente mi vida
q = viera televisin
r = leera ms libros

( p q )^ r

















7. Mediante una tabla de verdad, verifica la equivalencia entre las siguientes dos
proposiciones: Primera proposicin:
( ) p q .
; Segunda proposicin:
q p .


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


q p .

p q p
q p .

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










8. Demostrar si las siguientes proposiciones son Tautologas, Contradicciones o
Contingencias (Indeterminacin).


( ) | | ) ( p r r q v .

p q r [( ) ( )]

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


RESPUESTA
La anterior proposicin es contradictoria por que el resultado es falso.










p r s q
[ ( ) ( ) ]


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


RESPUESTA
La anterior proposicin es contingente porque contiene valores verdaderos y falsos.

( ) | | p q s r p . v ) (
Verifique el resultado obtenido usando el simulador:
http://turner.faculty.swau.edu/mmaterialslibrary/trutathematics/ h/
Pegue en este espacio el pantallazo obtenido.
Pantallazo de la primera proposicin.




Pantallazo segunda proposicin.















9. Si estudio lgica matemtica podr determinar la validez de un razonamiento
lgico. Identifique las proposiciones simples o atmicas de la expresin anterior y
redacte las siguientes proposiciones condicionales:

Directa
Si estudio lgica matemtica podr determinar la validez de un
razonamiento lgico ( proposicin simple)
Contraria
Si no estudio lgica matemtica no podr determinar la validez
de un razonamiento lgico (proposicin compuesta)
Recproca
Si estudio lgica matemtica entonces podr determinar la
validez de un razonamiento lgico
(proposicin compuesta)
Contrarrecproca
Si no estudio lgica matemtica entonces no podr determinar la
validez de un razonamiento lgico (proposicin compuesta)















10. Dada la siguiente proposicin abierta: 5x + 10 10, encontrar los valores de la
variable para que se convierta en una proposicin verdadera y en una proposicin
falsa. Represente simblicamente utilizando los cuantificadores.

5x + 10 10
5.(1) + 10 10
5+ 10 10
15 10
Para todo x 0 es verdadera

5x + 10 10
5.(-1) + 10 10
-5+10 10
5 10
Para todo x -1 es falsa
Cuantificador existencial
( ) ( ) Verdadero
Cuantificador universal
( ) (() ) Falso









CONCLUSIONES




El desarrollo del trabajo nos llev a todas las integrantes del grupo a conocer las
polticas del trabajo en equipo, y poder as consolidar un buen trabajo final en
equipo Nos ensea la importancia de dar opiniones a los temas de nuestros
compaeros y hacer aportes significativos. Tambin pudimos dar un repaso del
mdulo del curso y poner en prctica los temas vistos.



















BIBLIOGRAFIA


_ www.unad.edu.co: modulo del curso de lgica matemtica primera edicin
Actualizacin, edicin y diagramacin Geoffrey Acevedo Gonzales , Medelln
Colombia 9 de mayo del 2012