Пример

Рассмотрим два утверждения: «Все птицы летают» и «Ни одна птица не летает». Если первое утверждение истинно, оно подразумевает, что каждая птица без исключения умеет летать. Следовательно, второе утверждение, которое утверждает отсутствие птиц, способных летать, будет ложным. И наоборот, если второе утверждение истинно, то первое утверждение, утверждающее, что все птицы летают, будет ложным. Таким образом, утверждения «Все птицы летают» и «Ни одна птица не летает» являются контрарными, поскольку они не могут быть одновременно истинными, но могут быть одновременно ложными.