8. Понятие и обозначение импликации.

Импликация — логическая операция «если A, то B» (A влечёт B). Она ложна только в случае, когда A истинно, а B ложно. Обозначается A → B.