Lógica Matemática

INTRODUCCIÓN

Lógica Matemática.

Este es el reporte de la primera unidad: Lógica Matemática, los temas que

aquí se tratan son los que han estado analizando a lo largo de estas semanas,

viendo las Reglas de inferencia y cómo aplicarlas.

Las Reglas de inferencia fue el primer tema que se trato, en el cual los

demás temas se apoyaron para poder desarrollar la unidad satisfactoriamente,

La deducción Proposicional simple, la condicional, la reducción del absurdo,

en fin los temas vistos antes de entrar a Tautología son las reglas de inferencia

aplicadas de alguna u otra forma, se trata de ver los problemas que se presentan

con una lógica determinante para poder llegar al resultado que se desea, se

recomienda pensar en un caso real con el que podemos toparnos muy seguido y

proponerlo como un problema lógico para así obtener una determinada

conclusión.

La tautología trata de comprobar un resultado pero de un método mas

confiable, obteniendo como verdadera la conclusión a la que se quiere llegar, ese

es el beneficio que nos da la tautología, pero este método de alguna manera no

muestra los pasos que se llevaron a cabo para la obtención de la conclusión.

1.1 MODUS PONENDO PONENS

Se dice que el Modus Ponendo Ponens es la forma de afirmación de dos

premisas.

EJEMPLO.

Cuando se dice que Q es verdadera entonces P es verdadera.

Q → P

Entonces se dice que si Q es verdadera, entonces se puede deducir que P

también es verdadera.

1) Q → P

2) Q____

3) P PP(1,2) significa PONENDO PONENS entre la 1y 2.

1.2 MODUS TOLLENDO TOLLENS

Se dice que el Modus Tollendo Tollens es la negación a partir de una

afirmación entre dos premisas.

EJEMPLO.

Cuando se dice que Q → P se está afirmando que Q es verdadera y

entonces P también es verdadera. Por lo tanto si tenemos que Q es falsa (¬Q), se

puede deducir que P también es falsa.

1) Q → P

2) ¬Q___

3) ¬P tt(1,2

...