Negation vs Negatron - What's the difference?
negation | negatron |
(uncountable) The act of negating something.
(countable) A denial or contradiction.
* (Thomas Hardy)
(logic, countable) A proposition which is the contradictory of another proposition and which can be obtained from that other proposition by the appropriately placed addition/insertion of the word "not". (Or, in symbolic logic, by prepending that proposition with the symbol for the logical operator "not".)
*
(logic) The logical operation which obtains such (negated) propositions.
* {{quote-web
, date = 2011-07-20
, author = Edwin Mares
, title = Propositional Functions
, site = The Stanford Encyclopedia of Philosophy
, url = http://plato.stanford.edu/archives/fall2011/entries/propositional-function
, accessdate = 2012-07-15
}}
As nouns the difference between negation and negatron
is that negation is denial (act of denying) while negatron is electron.negation
English
Noun
- But it pleased her to play on my passion / And whet me to pleadings / That won from her mirthful negations / And scornings undue.
- Although some of the logicians working in term logic have very complicated treatments of negation, we can see the origin of the modern conception in the extensional tradition as well. In Boole and most of his followers, the negation of a term is understood as the set theoretic complement of the class represented by that term. For this reason, the negation of classical propositional logic is often called ‘Boolean negation’.