Эквиваленция¶
Определение. P↔Q («P тогда и только тогда, когда Q») истинна, когда P и Q имеют одинаковые значения истинности. Эквивалентно (P→Q)∧(Q→P) — доказаны оба направления.
В каких главах встречается¶
Связанные концепты¶
Требуются перед изучением: