Один нюанс требует разъяснения. Утверждение �
𝐴
A� ложно, утверждение �
𝐵
B� истинно. Ложно или истинно утверждение �
𝐴
→
𝐵
A→B�?

Если утверждение A ложно, а утверждение B истинно, то утверждение A→B будет истинным.

По определению импликации (логического следствия), импликация A→B истинна, если A ложно или B истинно. В данном случае, A ложно, а B истинно, значит, всегда соблюдается одно из условий для истинности импликации, следовательно, утверждение A→B будет истинным.