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