Вы используете устаревший браузер. Этот и другие сайты могут отображаться в нём некорректно. Вам необходимо обновить браузер или попробовать использовать другой.
Утверждение
𝐴
a ложно, утверждение
𝐵
b истинно. ложно или истинно утверждение
𝐴
→
𝐵
a→b
Если утверждение A ложно, а утверждение B истинно, то утверждение A→B будет истинным. По определению импликации (логического следствия), импликация A→B истинна, если A ложно или B истинно. В данном случае, A ложно, а B истинно, значит, всегда соблюдается одно из условий для истинности импликации, следовательно, утверждение A→B будет истинным.