Introducción

En este trabajo el estudiante deberá presentar en el foro de la actividad tarea 1: Métodos

para probar la validez de argumentos, como mínimo cuatro aportes. Por ejemplo: puede
presentar un aporte por el desarrollo de cada ejercicio, para ello debe presentar un archivo
en Word con el desarrollo.

Las reglas de inferencia son reglas de transformación sintácticas que se pueden usar para
inferir una conclusión a partir de una premisa para crear un argumento. Se puede utilizar un
conjunto de reglas para inferir cualquier conclusión válida si es completa, mientras que
nunca se infiere una conclusión válida, si es segura. Un conjunto de reglas completo y
seguro no necesita incluir todas las reglas de la siguiente lista, ya que muchas de las reglas
son redundantes, y se pueden probar mediante las demás reglas.
La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones
establecidas.

En lógica especialmente en lógica matemática una regla de inferencia es un esquema para

construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un
conjunto de fórmulas llamados premisas y una aserción llamada conclusión.
Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva.
Objetivo general

-Conocer cada ley de inferencia y la forma de hacer un buen uso de cada una de ellas en
nuestro proceso académico, para así tener claridad del tema en general.

Objetivo específicos

-Trabajar con ejemplos haciendo uso de las leyes de inferencia.

-Interpretar argumentos y expresarlos con leyes de inferencia.

-Anunciar la letra seleccionada en el foro correspondiente para validar su desarrollo.

Referencias Bibliográficas.

LEY DE MORGAN. http://laslogicass.blogspot.com.co/2011/03/1-c-ambia-r-la-por-la-v-o-

la-v-por-la.html

LEYES DE INFERENCIA LÓGICA. http://laslogicass.blogspot.com.co/2011/03/modus-

ponendo-ponens-pp-p-q-p-q-modus.html

ABSORCIÓN EN LA LÓGICA PROPOSICIONAL, Prezi.com.

https://prezi.com/m1w_2_utt3nw/absorcion-en-la-logica-proposicional/