utterance, or because it is unique in the universe of discourse. Extension of a one-place predicate is the ... necessarily from the truth X. Binary Antonyms are predicates which come in pairs and between them ... in this unit. Logic deals with meaning in a language system, Logic deals most centrally with