противоположности; суждения являются контрарными при условии универсальности и утверждения, и отрицания. Например, «все люди белы» и «ни один человек не является белым».
Источник: Латинский словарь средневековых философских терминов