Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03095346n
Noun Concept
Categories: Rules of inference, Theorems in propositional logic, Classical logic
EN
double negation  double-negation elimination  double negation elimination  double negation introduction  double negative elimination
EN
In propositional logic, double negation is the theorem that states that "If a statement is true, then it is not the case that the statement is not true." Wikipedia
Definitions
Relations
Sources
EN
In propositional logic, double negation is the theorem that states that "If a statement is true, then it is not the case that the statement is not true." Wikipedia
IS A
theorem
HAS PART
double negative elimination
Wikipedia
EN
double negation
Wikidata
EN
double negation
Wikipedia Redirections
EN
double-negation elimination, double negation elimination, double negation introduction, Double negative elimination, Double negative introduction, Law of double negation, Logical double negation (logic), negative elimination, ¬¬
Wikidata Alias
EN
double negative elimination

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License