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