(logic) NC A proposition which is the contradictory of another proposition and which can be obtained from that other proposition by the appropriatelyplaced addition/insertion of the word "not". (Or, in symbolic logic, by prepending that proposition with the symbol for the logical operator "not".).
You get the negation of a proposition if you insert "not" (or some equivalent expression) into it in such a wayas toform a contradictory of it.
(logic) The logical operation which obtains such (negated) propositions.
Utilisé au milieu de la phrase
By varying the negations of the secondpremises and conclusion in the original argument, we can easilyget all fourlines of the table for the tribar.
Meaning of negation for the defined word.
Grammaticalement, ce mot "negation" est un nom, plus spécifiquement, un noms dénombrable et un singularia tantum.