If two propositions having the same subject and predicate terms are such that one is the denial of the other, the relationship between them is called