LOGICA MATEMTICA

ACTIVIDAD
TRABAJO COLABORATIVO N-

PRESENTADO POR:
TUTOR:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ABRIL- 2016

Introduccin

Se realiza proceso segn la gua de la actividad, la actividad est dividida en

tareas que se realizaran con el grupo colaborativo, el compromiso es realizar dela
mejor formas las actividades propuesta, mediante ejemplos y recomendaciones
del tutor, la idea es demostrar conceptos y temas de lgica matemtica.
La participacin de cada uno de los integrantes es importante para demostrar el
conocimiento adquirido sobre la actividad propuesta, se profundiza en conceptos,
tabla de la verdad, leyes de inferencia, demostrando la valides.

Objetivos

Realizar la actividad de acuerdo a la gua de trabajo interpretando conceptos y

teoras de lgica matemtica.
Comprender los diferentes principios y formas para demostrar una ley dando
solucin a un problema con interrogantes o la cual necesita demostrarse de forma
grfica.
Colocar en prctica los trabajos realizados anteriormente, dando habilidad en el
concepto, y plena certeza del entendimiento del mismo.

Tarea 1: aplicacin de las leyes de inferencia

Modus Ponendo Ponens, Modus Tollendo Tollens y Silogismo Hipottico

Modus ponendo ponens

Esta ley de inferencia quiere decir afirmar afirmado, su abreviatura es MP, este es
uno de los conceptos ms utilizados pero no se debe confundir con la lgica, se le
puede denominar como condicional o implicacin se encarga de establecer dos
enunciados en relacin de causa y efecto,

Ejemplo
pq Si llueve, entonces las calles se mojan (premisa)

Llueve

(premisa)

__________________________________________________
q

Luego, las calles se mojan

(conclusin)

es tomado como mecanismo para la construccin de pruebas deductivas, entre

estas encontramos la regla de sustitucin y la regla de definicin,

La forma de argumento tiene dos premisas (hiptesis). La primera premisa es la

"si-entonces" o reclamacin de condicional. En inteligencia artificial, el modus
ponens usualmente se lo denomina encadenamiento hacia adelante.
Un ejemplo de un argumento que se ajuste a la forma modus ponens:
Si hoy es martes, entonces Juan se ir a trabajar.
Hoy es martes.
Por lo tanto, Juan ir a trabajar.

Modus tollendo tollens

La lgica modus tollens, tambin conocido como negacin del consecuente, de

igual forma es una forma de argunto valido y una regla de inferencia.

La ley de contraposicin o tollens, se comprende mediante el siguiente ejemplo:

La regla de inferencia modus tollens, tambin conocida como la ley de la

contraposicin, valida la forma de inferencia
a la contradictoria de .

implica

y la contradictoria de

La regla modus tollens se puede afirmar formalmente como:

Donde

significa "P implica Q",

significa "no es el caso de que Q" (o

en resumen "no Q"). Entonces, cada vez "

s mismas como una lnea de una prueba, "
una lnea posterior.

"y"
" cada una parece por
" se puede colocar vlidamente en

En esta ley encontramos dos premisas,

La primera es: si entonces.
La segunda es: no es el caso
Realizaremos un ejemplo con las dos premisas
Si el perro guardin detecta un intruso, el perro guardin ladra.
El perro guardin no ladr.
Por lo tanto, el perro guardin no detect ningn intruso.

Silogismo hipottico

Al igual que las anteriores el silogismo hipottico se tema como regla de

inferencia, debido a que se expresa un caso hipottico, por lo tanto se puede
encontrar resultados afirmativos y no vlidos, podemos encontrar en la lgica
proposicional que el silogismo hipottico se expresa en la regla de inferencia.
En la lgica del silogismo hipottico, se considera una forma de argumentar valida
la cual puede tener una sentencia condicional, para uno o ambos argumentos.

Ejemplo
Si no me despierto, entonces no voy a ir a trabajar.
Si no voy a trabajar, entonces no me pagan mi sueldo.
Por lo tanto, si no me despierto, entonces no me van a pagar mi sueldo.

El silogismo hipottico se puede abreviar de la siguiente forma SH.

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.
_Tabla de la verdad es una tautologa.

( P
V
V
V
V
V
V
V
V
F
F

V
V
V
V
F
F
F
F
V
V

Q ) ( p
V
V
F V V
V
V
F V V
F
V
F V V
F
V
F V V
V
F
F V V
V
F
F V V
F
F
F V V
F
F
F V V
V
V
V F V
V
V
V F V

R ) ( R
V
V
V V
V
F
V F
F
V
F V
F
V
F V
V
F
V V
V
F
V F
F
F
F V
F
F
F V
V
V
V V
V
V
V V

S ) ( Q
V
V
F V V
F
V
F V V
V
V
F V V
F
V
F V V
V
V
V F V
F
V
V F F
V
V
V F V
F
V
V F F
V
V
F V V
F
V
F V V

S )
V
F
V
F
V
F
V
F
V
F

F
F
F
F
F
F

V
V
F
F
F
F

F
F
V
V
F
F

F
F
V
V
F
F

V
V
V
V
V
V

F
F
F
F
F
F

F
F
V
V
F
F

F
F
V
V
F
F

F
F
V
F
F
F

F
F
V
V
F
F

V
V
V
F
V
V

V
F
V
F
V
F

V
V
V
V
V
V

F
F
V
V
V
V

V
V
F
F
F
F

V
V
V
F
V
F

V
F
V
F
V
F

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 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
_Tabla de la verdad es una tautologa
( P
V
V
V
V
V
V
V
V
V
V
V

V
V
V
V
V
V
V
V
F
F
F

Q ) ( R r )
V
V
V V V
V
V
V
V V V
F
V
F
V F F
F
V
F
V F F
F
V
V
F V V
V
V
V
F V V
F
V
V
F V F
V
V
V
F V F
V
F
F
V V V
F
F
F
V V V
F
F
F
V F F
F

Q
V
V
V
V
V
V
V
V
F
F
F

V
V
F
F
V
V
F
F
F
F
F

S ) T
V
V V
V
F F
F
V V
F
V F
V
V V
V
F F
F
V V
F
V F
V
V V
V
V F
F
V V

( p R ) t
V
V V V
V V
F
V V v
V F
F
V V V
V V
F
V V V
V F
F
V F F
V V
F
V F F
V F
F
V F F
V V
F
V F F
V F
F
V V V
V 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
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
V
V

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

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

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

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

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

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

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

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

F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
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 vlido 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.
((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 del simulador Truth Table.

((p>q)&(~r>p)&(q+s))>(~q>s)

Conclusiones

Por medio de las leyes podemos demostrar una tautologa, no solo en los
ejercicios propuestas, si no por el contrario en casos que nos sucede en el diario
vivir, con ello podemos realizar deducciones, conclusiones, es importante
profundizar en los temas para manejar de la mejor forma el conocimiento y tener
errores en la solucin de los problemas.
El trabajo en grupo es importante con ello se realimenta cada uno de los temas, y
corregimos errores, la compaa del tutor y afirmacin de los conocimientos fue
importante en la realizacin de la actividad.

Bibliografa

DARKJROF (2011). Blog, reglas de inferencia. Modus ponendo ponens.

Disponible en el sitio https://darkjrof.wordpress.com/2011/04/04/reglas-deinferencia/ Recuperado en abril de 2016
CURSOS. Pgina web, regla de inferencia. Modus ponendo ponens. Disponible en
el
sitio
https://sites.google.com/site/seranhelo/cursos/logica/guias/reglas-dededuccion-natural/modus-ponendo-ponens Recuperado en abril de 2016
SLIDESHARE (2009). Pgina web. Isidorogg. Modus ponendo pnens. Disponible
en el sitio http://es.slideshare.net/isidorogg/modus-ponendo-ponens Recuperado
en abril de 2016
SCRIBD (2010). Pgina web. Modus ponendo ponens, reglas de inferencia.
Disponible en el sitio https://es.scribd.com/doc/40856055/MODUS-PONENDOPONENS Recuperado en abril de 2016
WIKIPEDIA (2015). Pgina web. Modus tollendo tollens. Disponible en el sitio
https://es.wikipedia.org/wiki/Modus_tollendo_tollens Recuperado en abril de 2016
PREZI (2012). katherin cruz cabrera. Ley del silogismo hipottico. disponible en el
sitio https://prezi.com/7nw5pnfxvvv8/ley-del-silogismo-hipotetico/ Recuperado en
abril de 2016
TURNET FACULTY (1819). Truth. Truth table. Disponible en el sitio
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/ Recuperado en
abril de 2016