В формальной логике A -> B означает "если А верно, то верно и B". Таким образом, это отношение ничего не говорит о том, что происходит, если А - неверно. То есть, если А всегда ложно, то утверждение A -> B всегда истинно. Скажем, если А это "формула этилового спирта - H2O", а B - "все критяне - гении покруче Эйнштейна", то A -> B истинно.

Проще, наверное, представить это себе в виде таблицы истинности.

A/B F T
F   T T
T   F T

А, понял! Простите, не в ту сторону думал - я этого всего сто лет на русском не видел...