Пример.
| А | B | A↔ B |
| Число 12 делится на 6 | Число 12 делится на 3 | Число 12 делится на 6 тогда и только тогда, когда оно делится на 3 |
| Некоторый параллелограмм - ромб | Диагонали некоторого параллелограмма взаимно препендикулярны | Для того, чтобы некоторый параллелограмм был ромбом, необходимо и достаточно, чтобы его диагонали были взаимно препендикулярны |
| Поезд прибывает | Путь открыт | Поезд прибывает, если и только если путь открыт |
| В треугольнике АВС угол А острый | В треугольнике АВС угол В острый | В треугольнике АВС угол А острый в том и только в том случае, если угол В тоже острый |
| Робин Гуд - разбойник | Робин Гуд - добрый | Если Робин Гуд - разбойником, то он был добрый, и наоборот |