LOGICA MATEMATICA

GRUPO 90004_120

TRABAJO COLABORATIVO 2

ELABORADO POR:
LUZ JHAKELINE ALMEIDA COD. 1096953212
ANGELA PATRICIA DUARTE MANTILLA

PRESENTADO A TUTOR:
BIBIANA ROSERO CARVAJAL

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA_UNAD

AO 2016

Introduccin

La lgica es la disciplina que trata de los mtodos, modos y formas del razonamiento
humano. Ofrece reglas y tcnicas para determinar si un argumento es valido o no, esta
busca

fundamentalmente

eliminar

la

ambigedad

del lenguaje ordinario,

introduciendo smbolos y conectivos lgicos en la construccin de proposiciones.

Segn la gua de la actividad, la actividad est dividida en tareas que se realizaran con el
grupo colaborativo, en el cual la idea es demostrar conceptos y temas de lgica matemtica,
buscando as adquirir conocimientos.

Objetivos

Percibir diferentes principios y formas para demostrar una ley dando solucin a un
problema con interrogantes o la cual necesita demostrarse de forma grfica.

Realizar la actividad de acuerdo a la gua de trabajo buscando as interpretar

conceptos y teoras de lgica.

Implantar habilidad en el concepto de lgica matemtica, y plena certeza del

entendimiento del mismo.

Tarea 1: Aplicacin de las leyes de inferencia.

Aporte individual

Reglas de inferencia: Se llaman reglas de inferencia todo argument universalmente

correcto que representan mtodos generales de razonamiento valido.
Las siguientes son formas correctas de razonamiento:

1) MODUS PONENDO PONENS (PP).- Es un mtodo (Modus), que afirma (ponens) el

consecuente, afirmando (ponendo) el antecedente de La implicacin, este uno de los
conceptos mas utilizados, pero no se debe confundir con la lgica, se le puede denominar
como condicional se encarga de establecer dos enunciados en relacin de causa y efecto.

Ejemplo:
P

Q Si esta lloviendo har frio

P llueve
Q por lo tanto hace frio

2) MODUS TOLLENDO TOLLENS (TT).- Es el mtodo (Modus), que negando (tollendo)

el consecuente, se puede negar (Tollens) el antecedente de la implicacin.

Q si el bebe llora tiene hambre

P el bebe no tiene hambre

Q por lo tanto no llor

3) MODUS TOLLENDO PONENS (TP).- Es el mtodo (modus), que negando (tollendo)

un miembro de una disyuncin se afirma (ponens) el otro miembro.

Si P, entonces Q he dormido o he ido a comer helado

no he dormido

Q por lo tanto, he ido a comer helado

4) LEY DEL SILOGISMO HIPOTETICO (SH) si una causa se sigue una consecuencia y
esta consecuencia es a su vez causa de una segunda consecuencia, se puede decir que esa
primera causa es causa de esa segunda consecuencia.

Si el perro ladra durante la noche, un desconocido puede esta rondando cerca.

Q Si un desconocido esta rondando cerca, entonces es mejor colocar la cerradura.

P R Por lo tanto, si el perro ladra durante la noche, entonces es mejor colocar la

cerradura

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 _ entonces terminar de realizar las demostraciones.
R _ me ir a la cama temprano.
S _ me levantar descansada

( P

Q )

( -

R ) ^

( R

( -

V V V

V V V

V V V

V V V

V V V

V V V

V F

V V F

V V F

V V F

V V

V V V

V V F

V V F

V F

V V F

V F

V V V

V V V

V F

V V

V F

V V V

V F

V F

V F

V V F

V V

V F

V V

V F

V V F

V F

V F

V V

V F

V V

V V V

V V V

V V

V F

V V

V V F

V V F

V F

V F

V V

V V V

V F

V F

V F

V V F

V F

V V

V V V

V F

V V

V F

V V

V F

V F

V F

V V

V F

V V

V F

V F

V F

b.

Johanna est planteando una situacin problmica 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).1

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_ ndice de natalidad disminuye y las expectativas de vida se hacen mayores
S_ Luego la sociedad envejecer con rapidez

( P

Q ) ^

( R

R ) ^

Q ^

S )

T ^

( p

R )

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

F V F F

V V F

V V V

V V

V V V

V F F

F V F F

V F F

V V V

V F

V V V

F V V

V V V V

V V F

V F F

V V

V V V

F V V

F V V V

F F F

V F F

V F

V V V

F V F

V V F F

V V F

V F F

V V

V V V

F V F

V V F F

V F F

V F F

V F

V F F

V V V

F F F V

V V F

V V V

V V

V F F

V V V

F F F V

V F F

V V V

V F

V F F

V F F

F F F F

V V F

V V V

V V

V F F

V F F

F F F F

V F F

V V V

V F

V F F

F V V

F F F V

V V F

V F F

V V

V F F

F V V

F F F V

V F F

V F F

V F

V F F

F V F

F F F F

V V F

V F F

V V

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

F F V

V V

F V V

V V V

F V V V

F F F

F F V

V F

F V V

V F F

F V F F

V V F

F F V

V V

F V V

V F F

F V F F

V F F

F F V

V F

F V V

F V V

V V V V

V V F

F F F

V V

F V V

F V V

V V V V

F F F

F F F

V F

F V V

F V F

V V F F

V V F

F F F

V V

F V V

F V F

V V F F

V F F

F F F

V F

F V F

V V V

V F F V

V V F

F F V

V V

F V F

V V V

V F F V

V F F

F F V

V F

F V F

V F F

F F F F

V V F

F F V

V V

F V F

V F F

F F F F

V F F

F F V

V F

F V F

F V V

V F F V

V V F

F F F

V V

F V F

F V V

V F F V

V F F

F F F

V F

F V F

F V F

V F F F

V V F

F F F

V V

F V F

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 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)]

Es valido es una tautologa.

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

Es vlido es una tautologa

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 del
simulador Truth Table.
((p > q) & (~r > p) & (q + s)) > (~q > s)

Conclusiones

Por medio de estos principios y formas se pudo interpretar las diferentes leyes con las que
podemos demostrar una tautologa, no solo en los ejercicios propuestas, si no por el
contrario en casos que nos sucede en el diario vivir, adquiriendo y afianzando nuevos
conocimientos.

Bibliografa

http://conferencia2.unad.edu.co/p948mwoib0h/?launcher=false&fcsContent=true&pbMode
=normal
http://www.slideshare.net/MariaGaitan2/leyes-de-la-logica-e-inferencias
http://www2.uca.es/matematicas/Docencia/ESI/1711051/Apuntes/Leccion3.pdf