Modus tollendo ponens

MODUS TOLLENDO PONENS (TP)
La disyunción, que se simboliza con el operador V, representa una elección entre dos enunciados. Ahora bien, en esa elección, forma parte de las posibilidades escogerambos enunciados, es decir, la verdad de ambos enunciados no es incompatible, si bien, ambos no pueden ser falsos.A partir de lo anterior, se deduce la siguiente regla, denominada tollendo ponens)negando afirmo): si uno de los miembros de una disyunción es negado, el otro miembro queda automáticamente afirmado, ya que uno de los términos de la elección ha sido descartado.
p v q “He ido al cineo me he ido de compras”
¬q “No he ido de compras” ___________________________________
p “Por tanto, he ido al cine”

)p v q) ^ ¬ q -ñ p
1. ¬[)p v q) ^ ¬ q -ñ p]
2. )p v q) ^ ¬ q ^ ¬ p )neg. -ñ 1)
3. )p v q) ^ ¬ q } simplificación 2
4. ¬ p } simplificación 2
5. p v q } simplificacion 3
6. ¬ q }simplificacion 3
7. ¬ p ^ ¬ q )unión 4,6)
8. ¬ )p v q) )ley de morgan v 7)
9. )p v q) ^ ¬ )p v q) )unión 5,8)
10. ¬ ¬ [)p v q) ^ ¬ q -ñ p] (rechazo 1 por 9)
11. )p v q) ^ ¬ q -ñ p(doble neg. 10)

tabla de verdad
)p v q) ^ ¬ q -ñ p
p v q ^ ¬ q -> p
V V V F F V V V
V V F V V F V V
F V V F F VF F
F F F F V F V F

PROBLEMAS DE LA INDUCCIÓN
Contraejemplo.- La inducción es una generalización a partir de unos datos reducidos. Una generalización se lleva acabo al dar por hecho que todos los elementos del mismo tipo comparten la misma propiedad observada. Y como engloba a un conjunto de elementos que no han sido observados, en cualquier momento puede...