Контрпозиция - импликация эквивалентна импликации отрицаний в обратном порядке. То есть, A → B ≡ ¬B → ¬A.
Транзитивность - если из A следует B, а из B следует C, то из A следует C. То есть, (A → B) ∧ (B → C) → (A → C).
Аналогия с условием - импликация в логике имеет аналогию с условием в повседневной жизни. Например, “если идёт дождь, то я беру зонт” означает, что я беру зонт только в том случае, когда идёт дождь, но не в том случае, когда дождя нет.
Важность контекста - импликация в логике не всегда соответствует импликации в естественном языке. Например, “если я президент, то я богат” - логически истинное утверждение, но не обязательно фактически истинное4
Эквивалент в логике - это операция, которая соединяет два утверждения и даёт
Продолжение моих ответов:
Эквивалент в логике - это операция, которая соединяет два утверждения и даёт истину, если оба утверждения имеют одинаковое логическое значение, и ложь в противном случае. Эквивалент обычно обозначается символом ≡ или ↔. Например, A ≡ B означает “A равно B”. Эквивалент имеет следующую таблицу истинности: