TRABAJO COLABORATIVO 2

Estudiantes:
LINA MARIA ZULUAGA GALVIS C.C 1.040.260.487

Curso:
LGICA MATEMTICAS

Grupo:
90004_801

Tutor:
JORGE LUIS ESTRADA

UNIVERSIDAD ABIERTA Y A DISTANCIA-UNAD

ESCUELA DE CIENCIAS ADMINISTRATIVAS, CONTABLES, ECONMICAS Y DE
NEGOCIOS
San Francisco Ant.
2016
 Introduccin

En el presente trabajo se desarrollara la temtica de estudio aplicada por la universidad

UNAD entre docentes y estudiantes, el trabajo consta de un taller desarrollado de acuerdo a lo
aprendido en el transcurso del mdulo; mediante videos, lecturas, ejercicios, investigaciones,
indicaciones por parte del tutor, entre otros; se requiere de gran concentracin y compromiso
para lograr el corrector desarrollo de las actividades propuestas ya que es un tema complejo.
Por medio del taller podemos definir la Lgica Matemtica como el estudio del razonamiento;
esta se refiere especficamente a si el razonamiento es correcto, la lgica se centra en la relacin
entre las afirmaciones y no en el contenido de una afirmacin en particular. Los mtodos lgicos
se usan en matemticas para demostrar teoremas.
La lgica pretende ser una ciencia rigurosa y universal que permita realizar clculos exactos.
Para ello, la lgica requiere el diseo de un lenguaje artificial que sea formal, donde lo que
importa sea la forma o aspecto externo, y no el significado de las frases y donde slo los
mensajes que cumplan rigurosamente las normas sintcticas sean aceptados como correctos.
La lgica se ocupa bsicamente de declaraciones o enunciados que se caracterizan porque sus
afirmaciones tienen un valor de verdad. Esto es, la lgica trata a las proposiciones que se pueden
definir como enunciados simples, ya sean falsos o verdaderos, son proposiciones.
Finalmente, es la ciencia de la inferencia deductiva. La principal aportacin que la lgica hace a
las ciencias est en la ordenacin, estructuracin y anlisis de las verdades conocidas.
 Objetivo General

Hacer un oportuno desarrollo de la actividad cumplimiento con las indicaciones por parte del
docente, utilizando el material de apoyo que nos brinda la universidad y por medio de los
aportes y el cambio de conocimiento con los compaeros de grupo.

Objetivos Especficos

Desarrollar operaciones lgicas a la par con la teora de conjuntos

Usar los smbolos bsicos empleados en lgica.
Interpretar expresiones lgicas sencillas.
Comprobar algunas equivalencias bsicas de la lgica matemtica
Aplicar los conocimientos adquiridos del mdulo para el desarrollo correcto de la actividad.
Continuar con el aprendizaje mediante el material de apoyo ofrecido por la universidad y la
buena investigacin.
Tarea 1: Aplicacin de las leyes de inferencia.

APORTE INDIVIDUAL.

Socializar en el Foro destinado para el trabajo colaborativo 2 la conceptualizacin y ejemplos

especficos (En caso de ser un ejemplo extrado por alguna fuente bibliogrfica, se debe citar
correctamente empleando Normas APA) de alguna del grupo de las Leyes de Inferencia Lgica
(slo selecciona un grupo de los 5 mostrados e informa en el foro cual escogi, para que no sea
escogido por otro integrante), las cuales son:

Modus Ponendo Ponens, Modus Tollendo Tollens y Silogismo Hipottico.

Modus Tolendo Ponens, Doble Negacin y adjuncin.
Simplificacin, adicin y silogismo disyuntivo.
Simplificacin disyuntiva, Absorcin y De Morgan.
Distributiva, exportacin y contraposicin

Ley Simplificacin Disyuntiva

Nos permite pasar de dos premisas a la conclusin, esta regla se aplica siempre que se d una
proposicin condicional y se d precisamente el consecuente. La misma regla se aplica tanto si
el antecedente y consecuente es una proposicin atmica como molecular.

P -- Q (1) P V M --- T & Q

P (2) P V M
--------- _____________________
.: Q .: (3) T & Q PP 1.2

ley de simplificacin disyuntiva (DP)

permite llegar a la conclusin por medio de dos premisas
se cumple si tiene una preposicin condicional
tiene que darse precisamente el consecuente
caractersticas
Si esta planta no crece, entonces o necesita ms agua o necesita mejor abono . Esta planta no
crece.

P : esta planta crece.

Q: necesita ms agua .
A: necesita mejor abono
PQVA
P
______________
.: Q V A

En palabras podemos concluir que esta planta necesita ms agua o ms abono

Ejemplo:
Esta ley, no es vlida para la implicacin, pero si para conjuncin y para la disyuncin. Una
conjuncin es afirmar que se dan dos cosas a la vez, de modo que el orden de sus elementos no
cambia este hecho. Igualmente, una disyuncin es presentar una eleccin entre dos cosas, sin
importar en qu orden se presenta esta eleccin.

(p&q) = (q&p)

Leyes De Morgan

Esta ley permite transformar una disyuncin en una conjuncin, y viceversa, es decir, una
conjuncin en una disyuncin. Cuando se pasa de una a otra, se cambian los valores de
afirmacin y negacin de los trminos de la disyuncin/conjuncin as como de la propia
operacin en conjunto, como podemos observar aqu:
pqpVq
(p V q) (p q
Aplicacin de leyes lgicas para demostrar y argumentar.
Cuando se tienen varias premisas -o proposiciones que se sabe son verdaderas- y se quiere sacar
las conclusiones derivadas de ellas, se pueden aplicar una o varias leyes lgicas, en forma
repetida si fuere necesario, para construir nuevas proposiciones simples o compuestas que sean
verdaderas y que conduzcan a conclusiones tiles en forma totalmente lgica.
Las Proposiciones:
Una proposicin es una afirmacin que puede recibir un valor de verdad falso (F),o bien
verdadero (V), pero no ambos a la vez. Su denotacin generalmente la encontramos con las
letras (p, q, r) Conectores Lgicos Podemos formar nuevas proposiciones a partir proposiciones
dadas mediante el uso de conectivos lgicos. Algunos de ellos son:

^ y conjuncin
v o disyuncin
-> si , entonces implicacin
<-> si y slo si doble implicacin
no negacin

Leyes de Morgan Son una parte de la Lgica proposicional, analtica, y fueron creada por
Augustus de Morgan. Estas declaran las reglas de equivalencia en las que se muestran que dos
proposiciones pueden ser lgicamente equivalentes.
Las Leyes de Morgan permiten: El cambio del operador de conjuncin en operador de
disyuncin y viceversa.
Las proposiciones conjuntivas o disyuntivas a las que se aplican las leyes de Morgan pueden
estar afirmadas o negadas (en todo o en sus partes).
Casos:
(P ^ Q) (P v Q)
Si nos encontramos con una proposicin conjuntiva totalmente negada, la ley de Morgan nos
permite transformarla en una proposicin disyuntiva con cada uno de sus miembros negados
(P v Q) (P ^ Q)
Si nos encontramos con una proposicin disyuntiva totalmente negada, la ley de Morgan nos
permite transformarla en una proposicin conjuntiva con cada uno de sus miembros negados
(P ^ Q) ( P v Q)
Si nos encontramos con una proposicin conjuntiva afirmada, la ley de Morgan nos permite
transformarla en una proposicin disyuntiva negada en su totalidad y en sus miembros.
(P v Q) (P ^ Q)
Si nos encontramos con una proposicin disyuntiva afirmada, la ley de Morgan nos permite
transformarla en una proposicin conjuntiva negada en su totalidad y en sus miembros.
En conclusin:
La idea es siempre la misma, puede expresarse en forma general como:

(a ^ b) = (a) v (b)
(a v b) = (a) ^ (b)

Para un conjunto de operaciones ,^,v que formen un lgebra de Bool (ejemplo, las operaciones
unin interseccin y complemento; las operaciones AND (y) , OR (o), y NOT (negacin).

Ejemplo prctico con probabilidad.

La probabilidad de que una moneda salga cara es 1/2. Igual de que salga ceca.

Ahora, Cul es la probabilidad de que tirando dos monedas, salgan ambas cara?

Si a la probabilidad de que la primera salga cara, y b la de que la segunda salga cara, la

probabilidad buscada ser:

a^b
Y como la efectuar un ^ se multiplican las probabilidades (aceptando que los eventos son
totalmente independientes, como en este caso: el resultado de una moneda no influye en la otra),
nos queda una probabilidad de:

1/2 * 1/2 = 1/4

De sacar en ambas monedas cara.

Ahora, Qu pasa si queremos lo opuesto, la probabilidad de que no salga las dos veces cara?

Esta probabilidad ser:

(a ^ b)

Como negacin se calcula haciendo 1 - la probabilidad de lo que negamos (esto sale de asumir
que si algo NO "ocurre", entonces OCURRE que "no ocurre". Es un juego de palabras raro pero
es totalmente lgico: si no sale cara, entonces sale ceca, sera la idea.), y ya tenemos el valor de
a^b = 1/4, la negacin buscada ser:

1 - 1/4 = 3/4

Pero verifiquemos ahora la validez de la ley de Morgan en forma experimental. Tenemos que
llegar a este mismo resultado.

(a ^ b) = (a) v (b)

a = b = 1/2 (en trminos de probabilidad, es lo mismo que salga cara o que salga ceca, ambas
tienen 1/2).

Ahora, cmo se hace un "o" en probabilidad?

La frmula es:

a v b = a + b - ab

Luego queda:

(a ^ b) = (a) v (b) = 1/2 + 1/2 - 1/4 = 3/4

Como queramos comprobar.

 Ley De Absorcin

Absorcin es una forma lgica de argumento vlido y una regla de inferencia de la lgica
proposicional. La regla establece que se implica , entonces implica y . La regla
hace posible introducir conjunciones en pruebas. Esto se llama ley de absorcin ya que el
trmino es "absorbido" por el trmino en la consecuencia. Formalmente:

La regla de absorcin puede escribirse en la notacin subsiguiente:

Donde es un smbolo metalgico significando que es consecuencia

sintctica de en algn sistema lgico;

y expresado como una tautologa o teorema de la lgica proposicional. El principio fue

establecido como un teorema de la lgica proposicional por Russell y Whitehead en Principia
mathematica como:

Donde , y son proposiciones expresadas en algn sistema lgico.

Ejemplo:
Si va a llover, entonces llevar mi abrigo.
Luego, si va a llover entonces va a llover y llevar mi abrigo.
Demostracin por tabla de verdad:
Prueba formal:
Tarea 2: Problemas de aplicacin I parte.

Solucionar los siguientes enunciados y demostrar la validez o no validez del argumento dado
a travs de:

Uso de las tablas de verdad.

Uso de las leyes de Inferencia.

Estudiar en la modalidad a Distancia en la UNAD es una metodologa educativa que

realmente forma profesionales competentes, pues se debe ser muy disciplinado con los
hbitos de estudio adquiridos para cumplir con las actividades acadmicas, pero con la
ventaja de que al usar las tecnologas facilita la comunicacin entre los diferentes
protagonistas del proceso de formacin acadmico. Carolina se ha esforzado por mantener
un slido hbito de estudio, pero hay momentos en que el cansancio la vence, el siguiente
relato es algo que le ocurri un da: Si me mandas la gua de actividades por mensajera
interna del curso, entonces terminar de realizar las demostraciones. Si no me mandas la
gua de actividades por mensajera interna, me ir a la cama temprano. Y si me voy a la
cama temprano, me levantar descansada. Por lo tanto, si no acabo de realizar las
demostraciones, me levantar descansada. (Gmez, 2015).

Solucin.

Leyes de Inferencia:

P: Si me mandas la gua de actividades por mensajera interna del curso.

Q: Entonces terminar de realizar las demostraciones.
R: me ir a la cama temprano.
S: me levantar descansada

(P Q) premisa 1

(P R) premisa 2

(R S) premisa 3
(Q S) Conclusin

Tabla de la Verdad:

[(P Q) ^ (P R) ^ (R S)] (Q S)
La Tabla de la verdad es una Tautologa.

( P Q ) ^ ( P R ) ^ ( R S ) ( Q S )
V V V V F V V V V V V V V F V V V
V V V V F V V V F V F F V F V V F
V V V V F V V F V F V V V F V V V
V V V V F V V F V F V F V F V V F
V F F F F V V V F V V V V V F V V
V F F F F V V V F V F F V V F F F
V F F F F V V F F F V V V V F V V
V F F F F V V F F F V F V V F F F
F V V F V F F V V V V V V F V V V
F V V F V F F V V V V F V F V V F
F V V V V F V F F F V V V F V V V
F V V V V F V F F F V F V F V V F
F V F F V F F V V V V V V V F V V
F V F F V F F V F V F F V V F F F
F V F V V F V F F F V V V V F V V
F V F V V F V F F F V F V V F F F

Johanna est planteando una situacin problemtica para su ensayo del curso de
Matemticas financiera de la UNAD, para lo cual hace la siguiente cita bibliogrfica: Si
hay una situacin de crisis econmica, el ndice de natalidad disminuye. Si avanza la
medicina, las expectativas de vida sern mayores. Si el ndice de natalidad disminuye y las
expectativas de vida se hacen mayores, entonces la sociedad ir envejeciendo rpidamente.
La crisis econmica es un hecho y los avances en la medicina son constantes. Luego, la
sociedad envejecer con rapidez. (Gmez, 2015).

Solucin.

Leyes de Inferencia:

P: Si hay una situacin de crisis econmica, el ndice de natalidad disminuye.

Q: Si avanza la medicina, las expectativas de vida sern mayores.
R: Si el ndice de natalidad disminuye y las expectativas de vida se hacen mayores.
S: Luego, la sociedad envejecer con rapidez.

(P Q) premisa 1

(R S) premisa 2

(Q ^ S) T premisa 3

(P R) premisa 4

T Conclusin

Tabla de la Verdad:

[(P Q) ^ (R S) ^ ((Q ^ S) T) ^ (P R)] T

La Tabla de la verdad es una Tautologa.

( P Q ) ^ ( R R ) ^ ( Q ^ S ) T ) ^ ( P ^ R ) T
V V V V V V V V V V V V V V V V V V V
V V V V V V V F V V V F F F V V V V F
V V V F V F F F V F F V V F V V V V V
V V V F V F F F V F F V F F V V V V F
V V V V F V V V V V V V V F V F F V V
V V V V F V V F V V V F F F V F F V F
V V V V F V F V V F F V V F V F F V V
V V V V F V F V V F F V F F V F F V F
V F F F V V V F F F V F V F V V V V V
V F F F V V V F F F V F F F V V V V F
V F F F V F F F F F F V V F V V V V V
V F F F V F F F F F F V F F V V V V F
V F F F F V V F F F V F V F V F F V V
V F F F F V V F F F V F F F V F F V F
V F F F F V F F F F F V V F V F F V V
V F F F F V F F F F F V F F V F F V F
F V V V V V V V V V V F V F F F V V V
F V V V V V V F V V V F F F F F V V F
F V V F V F F F V F F V V F F F V V V
 F V V F V F F F V F F V F F F F V V F
F V V V F V V V V V V V V F F F F V V
F V V V F V V V V V V F F F F F F V F
F V V V F V F V V F F V V F F F F V V
F V V V F V F V V F F V F F F F F V F
F V F V V V V V F F V V V F F F V V V
F V F V V V V V F F V V F F F F V V F
F V F F V F F F F F F V V F F F V V V
F V F F V F F F F F F V F F F F V V F
F V F V F V V V F F V V V F F F F V V
F V F V F V V V F F V V F F F F F V F
F V F V F V F V F F F V V F F F F V V
F V F V F V F V F F F V F F F F F V F

Tarea 3: Problemas de aplicacin II parte.

Solucionar los enunciados de la tarea 2 y demostrar la validez o no validez del

argumento dado a travs del:

Uso del mtodo de reduccin al absurdo.

Uso del simulador Truth Table.

Estudiar en la modalidad a Distancia en la UNAD es una metodologa educativa que

realmente forma profesionales competentes, pues se debe ser muy disciplinado con los
hbitos de estudio adquiridos para cumplir con las actividades acadmicas, pero con la
ventaja de que al usar las tecnologas facilita la comunicacin entre los diferentes
protagonistas del proceso de formacin acadmico. Carolina se ha esforzado por
mantener un slido hbito de estudio, pero hay momentos en que el cansancio la
vence, el siguiente relato es algo que le ocurri un da: Si me mandas la gua de
actividades por mensajera interna del curso, entonces terminar de realizar las
demostraciones. Si no me mandas la gua de actividades por mensajera interna, me ir
a la cama temprano. Y si me voy a la cama temprano, me levantar descansada. Por lo
tanto, si no acabo de realizar las demostraciones, me levantar descansada. (Gmez,
2015).

Solucin.

Mtodo de reduccin al absurdo:

[(P Q) ^ (P R) ^ (R S)] (Q S)
 Hiptesis Tesis

Negar la Tesis (Q S) = (Q S)

1. Llegar a una Contradiccin (P Q) ^ (P R) ^ (R S)

2. Simplificacin
a. P Q
b. P R
c. R S
3. Silogismo
Q S P R
PQ RS Absurdo
P S P S

Simulador Truth Table:

a.

Johanna
est

planteando una situacin problemtica para su ensayo del curso de Matemticas

financiera de la UNAD, para lo cual hace la siguiente cita bibliogrfica: Si hay
una situacin de crisis econmica, el ndice de natalidad disminuye. Si avanza la
medicina, las expectativas de vida sern mayores. Si el ndice de natalidad
disminuye y las expectativas de vida se hacen mayores, entonces la sociedad ir
envejeciendo rpidamente. La crisis econmica es un hecho y los avances en la
medicina son constantes. Luego, la sociedad envejecer con rapidez. (Gmez,
2015).

Mtodo de reduccin al absurdo:

[(P Q) ^ (R S) ^ ((Q ^ S) T) ^ (P R)] T

Hiptesis Tesis

1. Negar la Tesis T
2. Llegar a una Contradiccin (P Q) ^ (R S) ^ ((Q ^ S) T) ^ (P
R)
3. Simplificacin
a. P Q
b. R S
d. (Q ^ S) T = Q (S T) Ley de Exportacin
e. P R
4. Silogismo
Q St
Q S Absurdo
T

Simulador Truth Table:

Tarea 4: Creatividad en la proposicin de situaciones de la vida cotidiana.

En un letrero de la UNAD, se presenta el siguiente argumento en lenguaje simblico.

((pq)(rp)(qVs))(qs)

El grupo colaborativo debe convertir el anterior argumento en lenguaje natural de

tal forma que la informacin o el mensaje que deseen expresar tenga sentido lgico
(Es decir deben hacer lo contrario de la tarea 2 y 3, ya que las anteriores tareas, se
presentaban en lenguaje natural y el propsito es convertirlo en lenguaje
simblico).

Finalmente, deben demostrar que el anterior argumento es vlido a travs de:

Uso de las tablas de verdad.

Uso de las leyes de inferencia.
Uso del mtodo de reduccin al absurdo.
Uso del simulador Truth Table.

Solucin.

Argumento a Lenguaje Natural:

Carlos est planteando un problema cotidiano para organizarse habitualmente en su

da a da para lo cual piensa lo siguiente, si se dedica a leer 3 horas
diarias entonces mejorara su nivel de ortografa y si no mejora su capacidad de
comprensin entonces podr leer 3 horas diarias y si mejora su nivel de
ortografa o su nivel de lectura, entonces no mejorara su ortografa si no realiza
ejercicios gramaticales entonces no comprender nada entonces nunca sabr nada

Leyes de Inferencia:

P: Mejorar su nivel de ortografa.

Q: Y si no mejora su capacidad de comprensin.
R: Podr leer 3 horas diarias.
S: Nivel de lectura.

(P Q) premisa 1

(R P) premisa 2
(Q v S) premisa 3

(Q S) Conclusin

Tabla de la Verdad:

[(P Q) ^ (R P) ^ (Q v S)] (Q S)
La Tabla de la verdad es una Tautologa.

( P Q ) ^ ( R P ) ^ ( Q v S ) ( Q S )
V V V V F V V V V V V V V F V V V
V V V V F V V V F V V F V F V V F
V V V V V F V V V V V V V F V V V
V V V V V F V V V V V F V F V V F
V F F F F V V V F F V V V V F V V
V F F F F V V V F F F F V V F F F
V F F F V F V V F F V V V V F V V
V F F F V F V V F F F F V V F F F
F V V F F V V F V V V V V F V V V
F V V F F V V F V V V F V F V V F
F V V V V F F F F V V V V F V V V
F V V V V F F F F V V F V F V V F
F V F F F V V F V F V V V V F V V
F V F F F V V F F F F F V V F F F
F V F V V F F F F F V V V V F V V
F V F V V F F F F F F F V V F F F

Mtodo de reduccin al absurdo:

(P Q) ^ (R P) ^ (Q v S)] (Q S)

Hiptesis Tesis

Negar la Tesis (Q S) = (Q S)
Llegar a una Contradiccin (P Q) ^ (R P) ^ (Q v S)
Simplificacin
f. P Q
g. R P
h. Q v S
Disyuncin
Q S
Q S

Q S y Q S

Absurdo

Simulador Truth Table:

 Conclusiones

La lgica matemtica nos ayuda a desarrollar los procesos de pensamiento encontrando

sentido a lo que normalmente realizamos. Muchas veces utilizamos en nuestros
razonamientos oraciones y frases que suelen estudiarse en esta materia. Las inferencia
lgicas tambin cotidianas y las hacemos sin darnos cuenta.
La utilizacin de la lgica tiene sus ventajas y desventajas, y por lo tanto hay que conocerlas
y analizarlas.
La lgica ofrece mtodos que ensean cmo elaborar proposiciones, evaluar su valor de
verdad y determinar si las conclusiones se han deducido correctamente a partir de
proposiciones supuestas.
A manera de opinin personal, en los estudios que se imparten normalmente de Lgica
Matemtica se enfocan en la parte de la teora que trata el rea, es interesante ir ms all e
introducirse en el campo practico de la materia en estudio.
 Bibliografa

https://prezi.com/zz07kof7pkxz/leyes-de-inferencia-ley-simplificacion-disyuntiva/
http://razonamientologico12unefa.blogspot.com.co/2008/06/leyes-de-la-lgica-
proposicional-y_16.html
http://www.academia.edu/6818266/LEYES_Y_TEOREMAS_B%C3%81SICOS_DEL_
%C3%81LGEBRA_DE_BOOLE
https://es.wikipedia.org/wiki/Absorci%C3%B3n_(l%C3%B3gica)
http://es.slideshare.net/isidorogg/modus-ponendo-ponens
https://es.wikipedia.org/wiki/Modus_tollendo_tollens
https://www.youtube.com/watch?v=3jqzuqDHOkQ
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
http://www.zweigmedia.com/MundoReal/logic/logic5.html