Está en la página 1de 13

LOGICA MATEMATICA

TRABAJO COLABORATIVO 1

PRESENTADO POR
SILVIO RIVERA TORRES
COD: 10275902
ANDRES FELIPE BERNAL
COD: 9861104
PABLO EMILIO TOBON
COD: 18561582
MONICA PATRICIA ESTUPIAN ROJAS
COD:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


LOGICA MATEMATICA
2015

INTRODUCCION
La lgica matemtica es la forma de razonamiento que por medio de reglas y tcnicas se
determina si un argumento es vlido. Un argumento es un conjunto de una o ms oraciones que
son compuestas por conclusiones y premisas, tambin se puede decir que hay razonamiento
deductivos e inductivo, en el cual deductivo es en si el concepto de validez hiptesis,
observacin, confirmacin y el inductivo el concepto de probabilidad. Observacin, patrn,
hiptesis tentativa, teora.
La teora de conjuntos es la forma de estudiar las propiedades de los estos y se pueden enunciar
por extensin o enumeracin, comprensin, diagrama de venn, descripcin verbal. Pueden a ver
conjuntos numricos como los naturales, enteros, racionales, irracionales, completos y
conjuntos especiales como universal, vaco, unitario. La relacin entre conjuntos son inclusin,
diferentes, unin, interseccin, diferencia, complementos.
El valor de la verdad es la cualidad de veracidad que describe apropiadamente si una proposicin
puede ser falsa o verdadera. Se puede decir que hay conectivos lgicos como conjuncin,
disyuncin, negacin, condicional, bicondicional.
Las tablas de verdad se construyen de acuerdo al nmero de proposiciones de tiene un ejercicio.

OBJETIVOS
1. Objetivos General
El objetivo general de este trabajo el desarrollo de una serie de problemas en los cuales se
coloca en prctica lo aprendido en unidad trabajo colaborativo 2 de lgica matemtica.
Trabajando una parte individualmente y terminando con el desarrollo de este en forma
grupal.
2. Objetivos Especficos
Aplicar conocimientos adquiridos para el desarrollo de las actividades como:
Aplicacin Razonamientos Deductivos e Inductivos.
Aplicacin de las Leyes de Inferencia.
Argumentos Inductivos.

DESARROLLO DE ACTIVIDADES
El problema a desarrollar en la tarea 1 es el siguiente: De acuerdo con una encuesta
virtual realizada a cincuenta estudiantes dela UNAD, los amantes de la msica de Juanes son 15;
mientras que los que nicamente gustan de la msica de Shakira son 20, Cuntos son fanticos
de los dos artistas si 10 de los encuestados, entre los 25 que no son fanticos de Shakira, afirman
ser fanticos de Juanes?
a) Describe la necesidad o problema a resolver. El problema a resolver es verificar cuantos
son fanticos de Shakira y cuantos fanticos de juanes y despus identificar cuantos son
fanticos de los dos artistas.
b) Identifica los conjuntos presentes en el problema. En este problema hay tres conjuntos
que son: conjunto Shakira, conjunto Juanes y conjunto Encuestados.
c) Elabora un diagrama de Venn.

20

5 10

15

E {50 encuestados}
S {25 encuestados}
J {25 encuestados}
SJ {5 encuestados}

d) Describe la solucin del problema: los fanticos de Shakira son 25, los fanticos de
Juanes son 15 y 15 no son fanticos de ninguno de los dos. Dando respuesta al problema
donde 5 son fanticos de los dos artistas.

e) Argumenta la validez de tu respuesta: comienzo por explicar que hay un conjunto


universal que lo llamare E y que es de los 50 encuestados, y que hay dos conjuntos uno
los fanticos Shakira (S) y dos los fanticos Juanes (J), inicialmente dice el problema
que 20 son nicamente fanticos de Shakira, los fanticos de juanes dice que son 15
inicialmente.

El problema a desarrollar en la tarea 2 es el siguiente:


Considera el siguiente diagrama de Venn y contesta los diferentes
Literales:

Literales a resolver:
a) Cuantos estudiantes Aristotlicos son Platnicos.
b) Cuales estudiantes de filosofa son Platnicos
c) Cuales estudiantes de filosofa son Aristotlicos
d) Cuales estudiantes de filosofa no son Aristotlicos
e) Cuales estudiantes de filosofa no son Platnicos
f) Cuales estudiantes son Platnicos Aristotlicos
g) Cuales estudiantes son Platnicos y Aristotlicos
h) Cuales estudiantes son Platnicos pero no son Aristotlicos
i) Cuales estudiantes son Aristotlicos pero no son Platnicos
j) Cuales estudiantes no siguen ninguna corriente filosfica
k) Cuales estudiantes siguen al menos una corriente filosfica
l) Cuales estudiantes siguen por lo menos una corriente filosfica
m) Cuales estudiantes siguen dos corrientes filosficas
n) Cuales estudiantes siguen slo una corriente filosfica
o) Cuantos estudiantes siguen ms de dos corrientes filosficas
La solucin de la tarea 2 debe cubrir dos (2) cuartillas del informe final
Desarrollo:

En este diagrama de venn hay 3 conjuntos


1 los estudiantes de lgica
2 los aristotlicos
3 los platnicos
Estudiantes de lgica {diego, Marcelo, Silvia, Ana, Carlos, Camila}
Los aristotlicos {Ana, Silvia}
Los platnicos {diego, marcela, Silvia}
a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
k)
l)
m)
n)
o)

Un estudiante aristotlico es platnico que es Silvia.


Los estudiantes de filosofa que son platnicos son: diego, Silvia, marcela
Los estudiantes de filosofa que son aristotlicos son: Ana, Silvia
Los estudiantes de filosofa que no son aristotlicos son: Carlos, Camilo, Diego y
Marcela.
Cuales estudiantes de filosofa que no son platnicos son: Carlos, camilo y Ana.
Estudiantes aristotlicos o platnicos son 4: Ana, Silvia, Diego y Marcela.
Estudiantes aristotlicos y platnicos son 1: Silvia.
Los estudiantes platnicos pero que no son aristotlicos son 2: Diego y Marcela.
Los estudiantes aristotlicos pero que no son platnicos son 1: Ana.
Los estudiantes que no siguen ninguna de las corrientes filosficas son 2: Carlos y
camilo.
Los estudiantes que al menos siguen una corriente filosfica son 4: Ana, diego y marcela.
Los estudiantes que por lo menos siguen una corriente filosfica son 4: Ana, Silvia, diego
y marcela.
Los estudiantes que siguen dos corrientes filosficas son 1: Silvia.
Los estudiantes que siguen una sola corriente filosfica son 3: diego, marcela y Ana.
Ningn estudiante sigue ms de dos corrientes filosficas.

El problema a desarrollar en la tarea 3 es el siguiente:


El ejercicio consiste en transformar expresiones dadas en lenguaje natural al lenguaje simblico,
y posteriormente, construir la correspondiente tabla de verdad. Miremos el ejemplo propuesto
por Alfredo De ao (1974) de un Fragmento de Kafka:
Ese lapso, corto quiz si se le mide por el calendario, es Interminablemente largo cuando, como
yo, se ha galopado a travs de l
El anlisis lgico de esta expresin es el siguiente:
(p _ q) (r _ ~q) es decir, la expresin equivalente en la que se evidencian los conectivos
lgicos es:
Si se le mide por el calendario, entonces ese lapso de tiempo es corto, y si se ha galopado,
como yo, a travs de l, entonces es irremediablemente largo.
Ejercicios a resolver:

a) Bien pensado, no hay por qu ser bien pensante.


b) En caso de que sople el viento, podremos navegar a vela.
c) Si alguien escribe como Borges, entonces puede disculprsele todo.
d) La vida es larga si es plena; y se hace plena cuando el alma ha recuperado la posesin de su
bien propio y ha transferido a s el dominio de s misma (Sneca).
La solucin de esta tarea debe contar con las siguientes etapas:
1) Expresin en lenguaje natural en la que se evidencien los conectivos Lgicos
2) Declaracin de las premisas
3) Expresin en lenguaje natural
4) Tabla de verdad.
DESARROLLO EJERCICIOS A RESOLVER:
a.
1. p=bien pensado
~p=no hay que ser bien pensado.
pp
2. Premisa: bien pensado.
Conclusin: no hay que ser bien pensante.
3. Bien pensado, no hay que ser bien pensante.
4. Tabla de verdad
V=F
p
v
F

p
f
v

pp
f
v

b.
1. P= en caso de que sople el viento,
q=podremos navegar a vela.
P

2. Premisa: en caso de que sople el viento,


Conclusin: podremos navegar a vela
3. En caso de que sople el viento, podremos navegar a vela.
4. Tabla de verdad.
F V=F
P
V
V
F

Q
V
F
V

Q
V
F
F

c.
1. P=si alguien escribe como Borges
Q=entonces puede disculparse todo
pq
2. Premisa= si alguien escribe como Borges
Conclusin= entonces puede disculparse todo.
3. Si alguien escribe como Borges, entonces puede disculparse todo.
4. Tabla de verdad.
P
V
V
F
F

Q
V
F
V
F

PQ
V
F
V
V

d.
1.

P= La vida es larga
Q=si es plena
R= se hace plena cuando el alma ha recuperado la posesin de su bien propio
S=y ha transferido a s el dominio de s misma
(p

q)^ (q(r^s)

2. Premisa 1: la vida es larga


Premisa 2: si es plena
Conclusin: se hace plena cuando el alma ha recuperado la posesin de su bien propio
y ha trasferido a si el dominio de si misma.
3. La vida es larga, si es plena, se hace plena cuando el alma ha recuperado la posesin
de su bien propio y ha transferido a si el dominio de s misma.
4. Tabla de verdad
P

V
v
V
V
V
V
V
V

V
V
V
V
F
F
F
F

v
V
F
F
V
V
F
F

V
f
V
F
V
F
V
F

q
V
V
V
V
F
F
F
F

r^s
v
F
F
F
V
F
F
F

q (r^s)
V
F
F
F
F
V
V
V

(p

q)^ (q

(r^s))
V
F
F
F
F
F
F
F

F
F
F
F
F
F
F
F

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

F
F
F
F
V
V
V
V

V
F
F
F
V
F
F
F

V
F
F
F
F
V
V
V

F
F
F
F
F
V
V
V

El problema a desarrollar en la tarea 4 es el siguiente:


Realice la lectura El mtodo cientfico que se encuentra en el siguiente enlace
http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/leccin
_17_el_mtodo_cientfico.html y plantee un ejemplo en el cual se identifiquen el proceso de
deduccin e induccin en un proceso de investigacin cientfica. Posteriormente plantee dos
ejemplos de enunciados falseables.
Desarrollo Razonamiento inductivo.
Observacin:
Juan y Pedro tienen dos caballos, el caballo de juan se llama Zeus y es de color castao, el
caballo de pedro se llama cebitaco y es de color castao.
Premisas
- Zeus es de color castao.
- Cebitaco es de color castao.
Conclusin que los caballos de juan y pedro son castaos.
Desarrollo Razonamiento deductivo.
Los pjaros son vertebrados y vuelan.
Premisas
-

Las guilas son pjaros.


Las palomas son pjaros.
Las golondrinas son pjaros.

Conclusin: Las guilas, palomas y golondrinas son vertebradas y vuelan.


Dos ejemplos de enunciados falseables.
Los pjaros son vertebrados y vuelan.
-los caballos son vertebrados
-los caballos son vertebrados y vuelan.

Si la silla se cae hace ruido, por lo tanto si hay ruido es porque la silla se cay.

El problema a desarrollar en la tarea 5 es el siguiente:


Si la mercanca llega y la maquinaria funciona, no incumplimos. Si entregamos a tiempo
conservamos el cliente y el cliente paga. Si el cliente paga todos reciben su dinero.
Incumplimos, Qu puede concluirse sobre recibir el dinero?
a) Identifica las proposiciones simples y declralas (Asigna letras como p,
q,..)
p= si la mercanca llega
r=y la maquinaria funciona
s=no incumplimos
s= cumplimos
t=si entregamos a tiempo
u= conservamos el cliente
v=y el cliente paga
w= todos reciben su dinero
b) Identifica las premisas del problema.
La mercanca llega
La maquinaria funciona
Si entregamos a tiempo
Conservamos al cliente
El cliente paga
(p^r)s)(t

(u^v)(v

w)

c) Utiliza las leyes de inferencia para poder concluir sobre la proposicin


Que se pide en el problema.
Si la mercanca llega y la maquinaria funciona, no incumplimos. Si entregamos a tiempo
conservamos el cliente y el cliente paga. Si el cliente paga todos reciben su dinero.
Si Incumplimos, la mercanca no llego y la maquinaria no funciono, si no entregamos a tiempo
no conservamos al cliente y el cliente no paga. Si el cliente no paga
Conclusin: ninguno recibe su dinero.

CONCLUSIONES
Se puede concluir que la lgica matemtica es cmo podemos por medio de tcnicas,
reglas, y razonamiento llegar a saber si un argumento es vlido o no.
La lgica matemtica ensea los mtodos necesarios para realizar proposiciones, determinar
su valor de verdad y determinar si las conclusiones de las mismas son vlidas.
Con el estudio de la lgica matemtica aprendemos a saber diferenciar los diferentes tipos
de conjuntos como relacionarlos entre ellos.
Se pudo establecer como determinar el valor de la verdad de una proposicin determinando
si es falsa o verdadera.
Se pudo aprender cmo realizar una tabla de la verdad, aplicando la representacin de
posibles valores de verdad.

BIBLIOGRAFIAS

Gua de trabajo colaborativo lgica matemtica


http://adria.inaoep.mx/~diplomados/IEMS/libros-texto/BaldorGPyT.PDF
es.wikipedia.org
http://es.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica
Referencias bibliogrficas complementarias Unidad 1
http://www.slideshare.net/patricialeguizamon397/modulo-logica-matematica
http://www.monografias.com/trabajos/iartificial/pagina4_1.htm