En el caso del condicional formula_1, sólo es falso cuando formula_2 es verdadero y formula_3 falso, es decir V \rightarrow F, demostrando que éste caso no es posible, se demuestra que el condicional es verdadero.