what are contraries in logic?
Two universal categorical propositions with the same subject and predicate are contraries if one is an affirmation and the other a denial. Contraries are of the form “Every S is P” and “No S is P.” Contraries may both be false but cannot both be true.