Double negation - CaLiGraph

Property	Value
rdf:type	Rule of inference owl:NamedIndividual Theorem in propositional logic
rdfs:label	Double negation
owl:sameAs	dbr:Double_negation
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Theorems_in_propositional_logic http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(D%E2%80%93H) http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(I%E2%80%93Q) http://en.wikipedia.org/wiki/Outline_of_logic http://en.wikipedia.org/wiki/Contradiction http://en.wikipedia.org/wiki/Intuitionistic_logic http://en.wikipedia.org/wiki/Category:Rules_of_inference http://en.wikipedia.org/wiki/List_of_rules_of_inference http://en.wikipedia.org/wiki/Propositional_calculus http://en.wikipedia.org/wiki/Logical_equivalence http://en.wikipedia.org/wiki/System_L
skos:prefLabel	Double negation
skos:altLabel	proofs '''d'''ouble '''n'''egation Double negation elimination Double negation#Elimination and introduction double negation double negation elimination negation of negation
is clgo:notableIdea of	Bertrand Russell

About: clgr:Double_negation