Negation flips downward entailing and upward entailing statements within the scope of the negation. And there is no contradiction between a relative affirmation and an absolute negation. Unary operations involve only one value, such as negation and trigonometric functions. In intuitionistic logic, a proposition implies its double negation but not conversely. One such system is ZFC with the axiom of infinity replaced by its negation. This is the first negation [antithesis] of individual private property. This operation should not be confused with logical negation codice 13. Unsatisfiable statements, both through negation and affirmation, are known formally as contradictions. Verbs are marked for aspect, certainty, predisposition and volition, dynamic, causative, mood, negation, and honorific. Perfective, imperfective negation, simultaneous and habitual are four aspects markers in Wuvulu language. In computer science there is also "bitwise negation". A means "not A" (the logical negation of A). A complete theory is a theory that contains every sentence or its negation. They base this conclusion on a distinction they make between a "denial" and a "negation". This marks one important difference between classical and intuitionistic negation.