Jonayker Paredes

15-08688

Taller de inferencia lógica

I) Complete lo siguiente:

1. Dada una implicación y la negación de su consecuente. Si obtenemos como conclusión, la

negación del antecedente, la regla de Inferencia aplicada es: Modus Tollendo Tollens.

2. Al aplicar, a una proposición unitaria, la doble negación, obtenemos: su afirmación.

II) Defina el Modus Ponendo Ponens y de un ejemplo.

Puede definirse como una forma de argumento válido. Esta regla de inferencia es el método, que
afirma el consecuente, afirmando el antecedente. Ejemplo:

Premisa 1: Si el esta en el juego de baseball, entonces está en el campo.

Premisa 2: El esta en el juego de baseball.

Conclusión: El esta en el campo.

En símbolos:

1. P →Q
2. P
3.Q
III) Dar un ejemplo de Doble Negación, dada P: Yo sólo sé que no se nada.

Yo solo se que no se nada.

Conclusión: Nada sé

En símbolos:

¬¬ P
P

IV) Aplicar el Modus Ponendo Ponens cuando:

Premisa 1: Si estudio estadística, entonces obtengo una buena calificación

Premisa 2: Estudio estadística.

Conclusión: Obtengo una buena calificación.

En símbolos:
1. P →Q
2. P
3.Q