LOGICA MATEMATICA

TRABAJO COLABORATIVA N-2

PRESENTADO POR: ANDRES FELIPE RIOS LOSADA

COD: 1075297470
PRESENTADO A: Yeimy Julieth Moreno

UNIVERSIDAD NACIONAL ABIERTA A DISTANCIA

07/MAYO/2016

INTRODUCCION
Se realiza el proceso segn la gua de actividades la cual est dividida en tareas que se
deben realizar con el grupo colaborativo, el compromiso es realizar de la mejor formar las
actividades que se nos presentan, y teniendo en cuenta las recomendaciones del tutor, la
idea es demostrar conceptos y temas de lgica matemtica.
La participacin de los integrantes es importante para demostrar y comparar los
conocimientos adquiridos sobre la actividad, se profundiza en conceptos como las tablas de
verdad, leyes de inferencia y la demostracin de validez de argumentos y enunciados.

OBJETIVOS
Realizar el trabajo de acuerdo con la gua interpretando e investigando conceptos y teoras
de a lgica matemtica.
Comprender los conceptos de las leyes de inferencia y las formas de demostrar la validez
de argumentos y enunciados.
Poner en prctica los conocimientos obtenidos referente a los trabajos realizados
anteriormente, dando habilidad en el concepto y el completo entendimiento del mismo.

Tarea 1: aplicacin de las leyes de inferencia

Simplificacin
Regla que se aplica a proposiciones unidas con "&. Como ambas premisas son ciertas por
tanto la conclusin tambin lo ser es por ello que esta regla nos permite pasar de una
conjuncin a cada una de las proposiciones.
S C Una sociedad es una coleccin de individuos que buscan una forma de vida y la
cultura es su forma de vida.
S: Una sociedad es una coleccin de individuos que buscan una forma de vida
C: la cultura es su forma de vida.
P Q juan es cocinero y pedro es polica
P juan es cocinero
Q pedro es polica

Ley de la Adicin
Es la ley que expresa que si se tiene una proposicin que es cierta, entonces la disyuncin
de aquella proposicin y otra cualquiera tambin es cierta.
A he comprado manzanas
A V B he comprado manzanas o he comprado peras

Q este libro es azul

Q V B este libro es azul o es viejo

Silogismo Disyuntivo
Es aquel cuya premisa mayor establece una disyuncin exclusiva, de manera que los dos
miembros no pueden ser simultneamente verdaderos, ni simultneamente falsos.
Existen dos modos formalmente vlidos de concluir: la premisa menor afirma uno de los
dos predicados, y la conclusin niega el otro (modo ponendo-tollens); o la menor niega uno
de los predicados, y la conclusin afirma el otro (modo tollendo-ponens: al negar se
afirma).

Ejemplos:
O es de da o es de noche;
es de da;
luego no es de noche.
O es de da o es de noche;
es de noche;
luego no es de da.
O es de da o es de noche;
no es de da;
luego es de noche.
O es de da o es de noche;
no es de noche;
luego es de da.
Nombre de la ley de
inferencia
Simplificacin

Ley de Adicin

Concepto

Ejemplo

Regla que se aplica a

proposiciones unidas con
"&. Como ambas premisas
son ciertas por tanto
la conclusin tambin lo
ser es por ello que esta
regla nos permite pasar de
una conjuncin a cada una
de las proposiciones.

P Q juan es cocinero y
pedro es polica

Es la ley que expresa que si

se tiene una proposicin
que es cierta, entonces la
disyuncin de aquella
proposicin y otra
cualquiera tambin es
cierta.

Q este libro es azul

P juan es cocinero
Q pedro es polica

Q V B este libro es azul o

es viejo

Silogismo Disyuntivo

Es aquel cuya premisa

mayor establece una
disyuncin exclusiva, de
manera que los dos
miembros no pueden ser
simultneamente
verdaderos, ni
simultneamente falsos.

O es de da o es de noche;
no es de da;
luego es de noche.
O es de da o es de noche;
no es de noche;
luego es de da.

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.
a. 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)
P: si me mandas la gua de actividades por mensajera interna del curso,
Q: terminare de realizar las demostraciones
R: me ir a la cama temprano
S: me levantare descansada
TABLA DE VERDAD
(

P
V
V
V
V
V
V
V
V
F

V
V
V
V
F
F
F
F
V

Q
V
V
V
V
F
F
F
F
V

(
V
V
V
V
F
F
F
F
V

F
F
F
F
F
F
F
F
V

P
V
V
V
V
V
V
V
V
F

V
V
V
V
V
V
V
V
V

R )
V
V
F
F
V
V
F
F
V

(
V
F
V
V
V
F
V
V
V

R
V
V
F
F
V
V
F
F
V

V
F
V
V
V
F
V
V
V

S )
V
F
V
F
V
F
V
F
V

(
V
V
V
V
V
V
V
V
V

F
F
F
F
V
V
V
V
F

Q
V
V
V
V
F
F
F
F
V

V
V
V
V
V
F
V
F
V

S )
V
F
V
F
V
F
V
F
V

F
F
F
F
F
F
F

V
V
V
V
V
V
V

V
V
V
F
F
F
F

V
F
F
V
V
F
F

V
V
V
V
V
V
V

F
F
F
F
F
F
F

V
F
F
V
V
F
F

V
F
F
V
V
F
F

F
F
F
V
F
F
F

V
F
F
V
V
F
F

F
V
V
V
F
V
V

F
V
F
V
F
V
F

V
V
V
V
V
V
V

F
F
F
V
V
V
V

V
V
V
F
F
F
F

V
V
V
V
F
V
F

F
V
F
V
F
V
F

Es una tautologa por ende es un argumento valido

LEY DE INFERENCIA

P1. p q
P2. p r
P3. r s
Conclusin: q s
P4. q p contra reciproca en 1
P5. p s silogismo hipottico en 2 y 3
P6. q s silogismo hipottico en 4 y 5
En la premisa 6 ya llegamos a la conclusin entonces el argumento es valido

b. 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).
P: si hay una situacin de crisis econmica, el ndice de natalidad disminuye
Q: el ndice de natalidad disminuye
R: si avanza la medicina
S: expectativas de vida sern mayores
T: la sociedad ira envejeciendo rpidamente
( P Q ) ( R S ) ( 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
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

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

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

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

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

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

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

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

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

Es una tautologa por ende es un argumento valido

LEY DE INFERENCIA

P1. p q
P2. r s
P3. (q s) t
P4. p r
Conclusin: t
P5. p simplificacin en 4

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

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

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

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

F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

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

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

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

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
V
V
V
V

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

P6. r simplificacin en 4
P7. q ponendo ponens en 1 y 5
P8. s ponendo ponens en 2 y 6
P9. q s adjuncin entre 7 y 8
P10. t ponendo ponens entre 3 y 9

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.
a. 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)
[[(p>q) & (~p>r)&(r>s)]>(~q>s)]
REDUCCION AL ABSURDO
Por mtodo directo
1. p q
v
f
2.p r
f
f
3. r s
f
f
Conclusin q s
v
f

Como dice la reduccin al absurdo debemos negar la conclusin y que las premisas sean
verdaderas, para ello como en la conclusin tenemos una implicacin debemos buscar la

opcin donde la implicacin sea falsa y la forma de que esto sea as es cuando de una
verdad se llega a una falsedad, seguido de esto vamos a la premisa 3 como en la conclusin
tenemos s y el valor de s es falso entonces en la premisa 3 tambin es falso y como la
premisa es una implicacin y esta tiene que ser verdadera entonces tambin falseamos r y la
premisa ser verdadera, ahora vamos a la premisa 2 esta tambin es una implicacin
entonces tenemos que buscar que esta sea verdadera como en la premisa 3 tambin tenemos
r y su valor de verdad en falso en la premisa 2 tambin es falsa y para que la implicacin
sea verdadera entonces tenemos que falsear p y la premisa ser verdadera y por ltimo en
la primera premisa tenemos p q y como en la conclusin tenemos q y su valor de
verdad es verdadero en la premisa 1 este ser falso porque solo tenemos q y en la premisa 2
tenemos p y su valor de verdad es falso en la premisa 1 ser verdadero porque tenemos p
y como en la implicacin cuando se va de una verdad a una falsedad la implicacin ser
falsa, y como la premisa 1 es falsa se comprueba la valides del argumento ya que si una de
las premisas es falsa el argumento es vlido.
TABLA DE VERDAD

b. 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).

[[(p > q) & (r > s) & ((q & s) > t)] & (p & r)] > t
REDUCCION AL ABSURDO
1. p q V
v

Paso3: al igual que en la anterior debemos buscar la forma en que esta premisa sea
verdadera, como en la premisa 4 ya tenemos el valor de verdad de p entonces ese mismo
valor lo usamos en esta premisa entonces el valor de verdad de p es verdadero y para que la
premisa completa sea verdadera el valor de verdad de q tambin ser verdadero.

2. r s V
v

Paso4: en la premisa 4 tenemos el valor de verdad de q entonces su valor es verdadero y

para que la premisa sea verdadera s tambin ser verdadera.
3. (q s) t
v

Paso5: en las premisas 4 y 2 ya tenemos los valores de verdad de r y s que para ambos son
verdaderos y para que una conjuncin sea verdadera los dos enunciados deben ser
verdadero lo cual se cumple, ahora tenemos una implicacin con t la cual su valor de
verdad es falso ya que la conclusin nos dice que t es verdadero y como cuando en una
implicacin se va de un valor de verdad a uno de falsedad la premisa seria falsa.
4. p r
v

Paso2: Debemos buscar la menara de que esta premisa sea verdadera lo hacemos de la
siguiente manera, como tenemos una conjuncin buscamos la opcin en la cual esta sea
verdadera y la nica manera de que esto sea as los dos enunciados deben ser verdaderos.

Conclusin: t
Paso1: como dice la reduccin al absurdo negamos la conclusin entonces quedara t

De acuerdo a lo anterior llegamos a la conclusin de que el argumento es vlido ya que

todas sus premisas no son verdaderas.

TABLA DE VERDAD

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.
((p q) (r p) (q V s)) (q s)
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.

TABLA DE VERDAD

( ( p
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
f

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

q ) ( r p ) ( q s ) ) ( q s )
V
V
F V V V
V
V V V
V
F V V V
V
V
F V V V
V
V V F
V
F V V F
V
V
V F V V
V
V V V
V
F V V V
V
V
V F V V
V
V V F
V
F V V F
F
F
F V V V
V
F V V
V
V F V V
F
F
F V V V
F
F F F
V
V F F F
F
F
V F V V
V
F V V
V
V F V V
F
F
V F V V
F
F F F
V
V F F F
V
V
F V V F
V
V V V
V
F V V V
V
V
F V V F
V
V V F
V
F V V F
V
F
V F F F
F
V V V
V
F V V V
V
F
V F F F
F
V V F
V
F V V F
F
V
F V V F
V
F V V
V
V F V V
F
V
F V V F
F
F F F
V
V F F F
F
F
V F F F
F
F V V
V
V F V V
F
F
V F F F
F
F F F
V
V F F F

SIMULADOR TRUTH TABLE

CONCLUSION

Por medio de las leyes de inferencia se puede demostrar la valides de un argumento o

enunciado, sea si son una contradiccin o una tautologa, no solo en los ejercicios que nos
presentan si no que tambin en las cosas que nos suceden a diario, con ello podemos
realizar conclusiones y deducciones y es importante que profundicemos en cada uno de los
temas para poder usar de forma correcta estas leyes.

BIBLIOGRAFIAS

*las.logicas,21/03/2011, laslogicass.blogspot, Recuperado de

http://laslogicass.blogspot.com.co/2011/03/modus-ponendo-ponens-pp-p-q-p-q-modus.html
*Silogismos compuestos (II): silogismo disyuntivo, s.f, recursostic.educacion, Recuperado
de http://recursostic.educacion.es/bachillerato/proyectofilosofia/web/A3-4g.htm
*Lgica Matemtica, s.f, logicaepn.blogspot, Recuperado de
http://lgicaepn.blogspot.com.co/2011/12/reglas-de-inferencia.html