Обозначим утверждение «четырехугольник является ромбом» через А, утверждение «диагонали четырехугольника перпендикулярны» через В. Тогда в теореме «диагонали ромба перпендикулярны» условие …
Обозначим утверждение «число является четным» через А, утверждение «число делится на 6» через В. Тогда в утверждении «если число делится на 6, то оно четное» условие …
Обозначим утверждение «число является четным» через А, утверждение «число делится на 6» через В. Тогда в утверждении «число делится на 6 только в том случае, если оно четное» условие …