Вопросы: 1. Дайте определение импликации. 2. Дайте определение эквивалентности.

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

Эквивалентность — логическая операция «A тогда и только тогда, когда B», обозначаемая A ↔ B. Она истинна, когда A и B имеют одинаковые значения истинности, и ложна, когда их значения различаются.