About: Double Negation   Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

Double negation is a rule of inference and rule of replacement for classical propositional logic. It states that the negation of a negation of a proposition is logically equivalent to the affirmation of that proposition. It is often expressed symbolically as so: or even . Where means "replaceable". In standard rule form, this rule may be represented as two subrules: Please note it is not universally accepted. Some formulations of propositional logic omit this rule of inference (such as intuitionistic propositional logic).

AttributesValues
rdfs:label
  • Double Negation
rdfs:comment
  • Double negation is a rule of inference and rule of replacement for classical propositional logic. It states that the negation of a negation of a proposition is logically equivalent to the affirmation of that proposition. It is often expressed symbolically as so: or even . Where means "replaceable". In standard rule form, this rule may be represented as two subrules: Please note it is not universally accepted. Some formulations of propositional logic omit this rule of inference (such as intuitionistic propositional logic).
sameAs
dbkwik:philosophy/...iPageUsesTemplate
abstract
  • Double negation is a rule of inference and rule of replacement for classical propositional logic. It states that the negation of a negation of a proposition is logically equivalent to the affirmation of that proposition. It is often expressed symbolically as so: or even . Where means "replaceable". In standard rule form, this rule may be represented as two subrules: Please note it is not universally accepted. Some formulations of propositional logic omit this rule of inference (such as intuitionistic propositional logic). Natural Deduction Transformation Rules Rules of inference Modus Ponens | Modus Tollens | Disjunctive Syllogism | Hypothetical Syllogism | Conjunction Introduction | Conjunction Elimination | Disjunction Introduction | Disjunction Elimination | Bicondional Introduction | Biconditional Elimination | Constructive Dilemma | Destructive Dilemma | Absorption | Modus ponendo tollens Rules of Transformation Double Negation | Associative property | Commutative property | Distributive property | DeMorgan's Laws | Tautology | Exportation | Material Implication | Transposition
Alternative Linked Data Views: ODE     Raw Data in: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software