LGICA MATEMTICA

INTERSEMESTRAL

ACT 6 TRABAJO COLABORATIVO 1




NELSON SOLER RINCON
GRUPO_ 90004_ 56

JAVIER FRANCISCO RODRIGUEZ MORA
TUTOR DE CURSO



UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)
JULIO DE 2014


INTRODUCCIN

Es la disciplina que estudia mtodos de anlisis y razonamiento; utilizando el lenguaje
de las matemticas como un lenguaje analtico.
La lgica matemtica nos ayuda a establecer criterios de verdad, equivalencias lgicas
tales como el silogismo, hacer demostraciones de teoremas que participan en el anlisis
de argumentos planteados. Dentro de la misma, se complementa tambin de la
heurstica para resolver problemas y es muy til en matemticas.
Suele dividirse en cuatro subcampos: teora de modelos, teora de la demostracin,
teora de conjuntos y teora de los sistemas formales en relacin con el modo en el que
codifican conceptos intuitivos de objetos matemticos como conjuntos, nmeros,
demostraciones y computacin.
La teora de conjuntos es una rama de las matemticas que estudia las propiedades de
los conjuntos: colecciones abstractas de objetos, consideradas como objetos en s
mismas. Los conjuntos y sus operaciones ms elementales son una herramienta bsica
en la formulacin de cualquier teora matemtica.
Por su parte la lgica de las proposiciones fue formulada a travs del algebra de Boole,
las cuales pueden ser verdaderas o falsas, segn las condiciones dadas; esta oracin
requiere ser simple o compuesta, y al ser puesta bajo la ltima se debe formular unos
conectivos lgicos, para ser trascritos en una tabla de verdad exponiendo sus
veracidades o falsedades del caso y llegando a un resultado.

OBJETIVO GENERAL
Poner en prctica los conocimientos aprendidos en la unidad 1, de tal manera que al
realizar una serie de ejercicios pueda plantear soluciones a ellos y genere conclusiones
al caso.
OBJETIVOS ESPECFICOS
Leer el material propuesto en la unidad 1 Desarrollar los ejercicios de la teora de
conjuntos
Dar solucin a los razonamientos propuestos
Reflexionar acerca de la evolucin histrica del pensamiento lgico.
FASE 1. TEORA DE CONJUNTOS Se pregunt a unos cuantos estudiantes de la
UNAD sobre si leen o no alguna de las revistas Dinero, semana y Portafolio y se
obtuvieron los siguientes resultados: 48 leen Dinero, 40 leen Semana, 34 leen
Portafolio, 25 leen Dinero y Semana, 14 leen Semana y Portafolio, 23 leen
Dinero y Portafolio y 3 estudiantes leen las tres revistas. 1.
1. Ilustre el problema con un Diagrama de Venn
. SEMANA(S) DINERO (D) PORTAFOLIO (P)

2. Determine el nmero de estudiantes entrevistados:

En total fueron 63 personas de los cuales (3+22+4+3+11+20).
DSP = 63 por comprensin
DSP = (3+22+4+3+11+20). Por extensin
Responda:
a. cuntos estudiantes leen slo una de las tres revistas?:
7 estudiantes (3 dinero + 4 semana)
b. Cuntos estudiantes leen nicamente la revista dinero?:
3 estudiantes solo leen dinero
c. Es verdadera o falsa la siguiente proposicin: 5 estudiantes leen nicamente la
revista Portafolio:
Es Falsa, ninguna persona la lee nicamente.
d. Cuntos estudiantes leen la revista Dinero o Portafolio?:
Son 59 estudiantes que leen Dinero o Portafolio (3+22+3+20+11) Por extensin


3. Indique por comprensin y por extensin, los resultados de las operaciones entre
conjuntos que hacen parte de la situacin planteada.

Por comprensin

Estudiantes entrevistados: { DSP = 63}
a. { 7 }
b. { 3 }
c. {F }
d. { 59 }

Por Extensin:
Estudiantes entrevistados: [DSP = (3+22+4+3+11+20)]
a. DS = (3 + 4)
b. D = [3]
c. F
d. DUP = (3+22+3+20+11)


FASE 2. PRINCIPIOS DE LGICA RAZONAMIENTOS
A. Por qu estamos estudiando en la universidad? Solemos creer que estamos
estudiando en la universidad para tener un empleo. Si tenemos dinero, entonces
podemos adquirir bienes. Son los bienes materiales lo que ms deseamos?

Proposiciones lgicas simples
a) Tenemos dinero (consecuente)
b) Podemos adquirir bienes (antecedente)
C) Porque estamos estudiando en la universidad?
d) Son los bienes materiales lo que ms deseamos?
e) Que es lo que ha llevado al ser humano a la construccin de un nuevo conocimiento?

Expresiones que no son proposiciones (No lgica simple)
a) Por qu estamos estudiando en la universidad?
b) solemos creer que estamos estudiando
c) son los bienes materiales lo que ms deseamos?
d) Cuando compramos mejores equipos electrnicos.

Paso 2 Proposiciones compuestas Si tenemos dinero, ENTONCES podemos adquirir
bienes
Porque estamos estudiando en la universidad? Estamos estudiando en la universidad
para tener empleo. SI tenemos dinero, ENTONCES podemos adquirir bienes.
Son los bienes materiales los que ms deseamos? CUANDO compramos mejores
equipos electrnicos. Lo que deseamos es comunicarnos mejor, escuchar y ver mejor a
otros seres humanos. Esto es si, porque lo que ms deseamos es el cario sincero y la
compaa inteligente.
Paso 3 Declaracin de proposiciones simples
SI tenemos dinero, ENTONCES podemos adquirir bienes
p: tener dinero
q: adquirir bienes

SI estudiamos en la universidad, SI Y SOLO SI es para tener empleo
p = estudiamos en la universidad
q = tener empleo

SI compramos mejores equipos electrnicos, ENTONCES deseamos comunicarnos
mejor escuchar y ver mejor a otros seres humanos. SI Y SOLO SI lo que ms
deseamos es el cario sincero Y una compaa inteligente
p = compramos mejores equipos electrnicos
q= deseamos comunicarnos mejor, escuchar y ver mejor a otros seres humanos.
R= deseamos cario sincero
S= compaa inteligente

Si estudiamos en la universidad, ENTONCES es para servir
P= estudiar en la universidad
Q= para servir

Si solucionamos problemas, ENTONCES mejoramos la calidad de vida
P= solucionar problemas
Q= mejorar calidad de vida

Paso 4 TABLA DE VERDAD PARA LA CONDICIONAL
Es falso cuando el antecedente es verdadero y el consecuente es falso p q No es
tautologa porque no todos los resultados son verdaderos.

Proposicin 1 p: tenemos dinero q: podemos adquirir bienes
p q: Si tenemos dinero, entonces podemos adquirir bienes
p q p q
V V V
V F F
F V V
F F V

NO ES TAUTOLOGIA
Proposicin 2. SI estudiamos en la universidad, SI Y SOLO SI es para tener empleo
p = estudiamos en la universidad
q = tener empleo
pq = SI estudiamos en la universidad, SI Y SOLO SI es para tener empleo
p q p q
V V V
V F F
F V F
F F V

NO ES TAUTOLOGIA
Proposicin 3. SI compramos mejores equipos electrnicos, ENTONCES deseamos
comunicarnos mejor escuchar y ver mejor a otros seres humanos. SI Y SOLO SI lo que
ms deseamos es el cario sincero Y una compaa inteligente
p = compramos mejores equipos electrnicos
q= deseamos comunicarnos mejor, escuchar y ver mejor a otros seres humanos.
R= deseamos cario sincero
S= compaa inteligente
(p q) ( r s )
p q (p q) r s ( r s ) (p q) ( r s )

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

NO ES TAUTOLOGIA
PROPOSICION 4 Si estudiamos en la universidad, ENTONCES es para servir
P= estudiar en la universidad
Q= para servir
p q = Si estudiamos en la universidad, ENTONCES es para servir

p q p q
V V V
V F F
F V V
F F V

NO ES TAUTOLOGIA
PROPOSICION 5. Si solucionamos problemas, ENTONCES mejoramos la calidad de
vida
P= solucionar problemas
Q= mejorar calidad de vida
p q = Si solucionamos problemas, ENTONCES mejoramos la calidad de vida

p q p q
V V V
V F F
F V V
F F V

NO ES TAUTOLOGIA
Si has reparado las tuberas, entonces hay agua potable disponible y como s que has
reparado las tuberas, Por lo tanto, hay agua potable disponible.
Paso 1 Proposiciones lgicas simples
r) Has reparado las tuberas
s) Hay agua potable disponible
t) has reparado las tuberas,
u) hay agua potable disponible
Expresiones que no son proposiciones S que has reparado las tuberas
Paso 2 Preposiciones compuestas Si has reparado las tuberas ENTONCES hay agua
potable disponible
Paso 3 Declaracin de proposiciones simples p: has reparado las tuberas q: hay
agua potable disponible
Paso 4 (pq)
Paso 5 TABLA DE VERDAD
r s t u st (s t)u r (s t)u
r s t u st (s t)u r (s t)u
V V V V V V V
V V V F V V V
V V F V V V V
V V F F V V V
V F V V F F F
V F V F F V V
V F F V F F F
V F F F F V V
F V V V F F V
F V V F F V V
F V F V F F V
F V F F F V V
F F V V F F V
F F V F F V V
F F F V F F V
F F F F F V V

NO ES TAUTOLOGIA
Si don Quijote percibe castillos en vez de ventas, entonces don Quijote ve alterada su
percepcin y como don Quijote percibe castillos en vez de ventas, entonces es
probablemente psictico.
Paso 1 Proposiciones lgicas simples
v) Percibe castillos en vez de ventas
w) don Quijote Ve alterada su percepcin
x) don Quijote percibe castillos en vez de ventas
y) es probablemente psictico
Paso 2 Preposiciones compuestas Si Don quijote percibe castillos en vez de ventas
ENTONCES Don quijote ve alterada su percepcin.
Paso 3 Declaracin de proposiciones simples
v: Don quijote percibe castillos en vez de ventas.
w x ): don Quijote Ve alterada su percepcin Y percibe castillos en vez de ventas
w x ) y = don Quijote Ve alterada su percepcin y percibe castillos en vez de
ventas ENTONCES es probablemente psictico
Paso 4 v w x ) y
Paso 5 TABLA DE VERDAD
v w x y w x ) w x ) y v w x ) y
V V V V V V V
V V V F V F F
V V F V F V V
V V F F F V V
V F V V F V V
V F V F F V V
V F F V F V V
V F F F F V V
F V V V V V V
F V V F V F V
F V F V F V V
F V F F F V V
F F V V F V V
F F V F F V V
F F F V F V V
F F F F F V V

NO ES TAUTOLOGA

Carlos es socilogo O Laura es antroploga, pero Carlos no es socilogo, POR LO
TANTO, Laura es antroploga.
Paso 1 Proposiciones lgicas simples
p) Carlos es socilogo
q) Laura es antroploga
p) Carlos no es socilogo
Paso 2 Preposiciones compuestas Carlos es socilogo Y Laura es antroploga.
Paso 3 Declaracin de proposiciones simples
p v q: Carlos es socilogo o Laura es antroploga
Paso 4 [( p q) p] q
Paso 5 TABLA DE VERDAD
p q
p
(p q)
[( p q) p] [( p q) p] q
V V F V F V
V F F V F V
F V V V V V
F F V F F V

ES TAUTOLOGA

EVOLUCION HISTORICA DEL PENSAMIENTO LOGICO MATEMATICO

La lgica desde tiempos antiguos ha sido implementada para dar un desarrollo
intelectual del ser humano, que a travs de procesos como la caza, recoleccin de
alimentos ha tenido que recurrir a estas ciencias con el objetivo de mejorar sus
condiciones de vida; por ende al evolucionar su historia ha tenido preguntas como el
porqu de su existencia, la razn de su supervivencia entre otras que lo han llevado a
sacar conclusiones a travs de mtodos generados por el mismo.
Son los seres humanos una construccin? En mi opinin somos una edificacin
construida de los conocimientos que vamos adquiriendo a travs de nuestra existencia.
Los seres humanos son una construccin, cada da van implementando nuevos
mtodos de supervivencia, de obtener conclusiones ya sea con la observacin, la
experimentacin; este a su vez descubre lo que tiene a su alrededor y trata de
interactuar con lo que posee, dando resultados de lo encontrado, construyendo
conocimiento y adquiriendo identidad de su existencia.
Nacemos humanos? Si nacemos humanos, por el contacto que tenemos con el
entornos nos vamos humanizando o viceversa. Nacemos humanos, con capacidad de
relacionar el entorno, de elaborar paradigmas de aprobar teoras, tenemos raciocinio,
que nos forma como seres intelectuales, capaces de descubrir lo que nunca se haba
encontrado, por tanto es la humanidad y el entorno quien nos forma y nos educa para
poder razonar de manera concreta acerca de un determinado tema que se presente.
Qu papel juega el desarrollo del pensamiento lgico en la construccin de nuestra
propia humanidad? A medida que vamos despertando nuestro raciocinio, nos damos
cuenta de que somos seres humanos que desenvuelven solos si no que interactuamos
en una sociedad debemos buscar el bien comn y dejar a un lado el bien particular. Los
grandes historiadores concluyen que si no fuera por la lgica nada tendra sentido, es el
razonamiento quin nos ayuda a entender aquello que aun genera incgnitas, es aquel
con el que descubrimos nuestro origen y la funcin de cada material posedo. La
inteligencia se desarrolla mediante la asimilacin de la realidad y la acomodacin a
dicha realidad. La inteligencia constituye un estado de equilibrio hacia el que tienden
todas las adaptaciones, con los intercambios asimiladores y acomodadores entre el
organismo y el medio que las constituyen. "La inteligencia en s constituye la adaptacin
por excelencia. Algunas veces, el sujeto slo asimila la informacin que no puede
acomodar inmediatamente a sus estructuras internas. El proceso continuo de
establecimiento de equilibrios entre las ideas es una parte fundamental de todo
aprendizaje. Esto es as porque todo aprendizaje parte de un interrogante sobre una
realidad que plantee una situacin conflictiva un conflicto cognitivo, que d lugar a la
bsqueda, por parte del sujeto, de la respuesta que le permita alcanzar nuevos
conocimientos los cuales son ms fciles aplicando la lgica matemtica como base
para dichos conocimientos.

CONCLUSIONES

La lgica es una de las principales herramientas para concluir si lo afirmado es
verdadero o falso segn las condiciones dadas para el postulado. La construccin de lo
que pensamos y descubrimos ha dado origen a la lgica, permitiendo dar resultados
concretos, segn sea la veracidad o falsedad del caso. Las que son afirmaciones no
son proposiciones dado que no se pueden ver como falso o negativo lo que se afirma
no proposicin.

REFERENCIAS BIBLIOGRFICAS

Acevedo G, G. (2012). Mdulo de Lgica Matemtica. Universidad Nacional Abierta y a
Distancia. Medelln. (pgs. 24 a 135)
Enlace: http://datateca.unad.edu.co/contenidos/90004/20132/90004.zip Cmo convertir
una proposicin al lenguaje simblico. Video. (Consultado el 15 de abril de 2014)
Disponible en http://www.youtube.com/watch?v=pl-lDGb_Dzo