La implicación lógica «A, por lo tanto B» es una afirmación no hipotética, que habla del mundo; es decir, establece que A es verdadero y que, por lo tanto, B es verdadero. ... Lo único que establece es que, en el caso de que A sea verdadero, B también lo es y, en el caso de que B sea falso, A también lo es.