Logically, what is “nonanimal”?

Contraposition: Classical Rules, Validity and the Later Convention

• The contradictory of a whole proposition
• An interrogative
• The complement of the animal concept
• The quantifier of a universal affirmative