Muy, muy simple. La definición de cualquier instrucción lógica If-Then, “If P, then Q” se define como “~ P o Q”. Eso significa, en laicos, que lo que suponemos es falso o nuestra conclusión es verdadera. ¡DEBE definirse de esta manera! De esa manera, si asumimos que P es verdadero y mostramos que “~ P o Q” es verdadero, ¡DEBE ser el caso de que Q sea verdadero! Este proceso tiene un nombre: Modus ponens – Wikipedia.
Tenga en cuenta que si nuestra hipótesis P es falsa, entonces, por supuesto, eso significa que ~ P es verdadero. ¿Qué significa eso para nuestra declaración If-Then? ¡Obviamente significa que “~ P o Q” DEBE ser cierto! Pero, ¿qué nos dice eso sobre Q? ¡Absolutamente nada! Q podría ser verdadero o podría ser falso. No tiene absolutamente ninguna relación con nuestra declaración if-then. Así que ya ves, ¡afirmar que nuestra suposición es falsa significa que no podemos concluir nada! Es por eso que es importante tener mucho cuidado con nuestras suposiciones. ¡Tenemos que estar seguros de que son verdaderas, para que podamos trabajar desde allí!