Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Double_negative_elimination> ?p ?o. }
Showing items 1 to 36 of
36
with 100 items per page.
- Double_negative_elimination abstract "For the theorem of propositional logic based on the same concept, see double negation.In propositional logic, double negative elimination (also called double negation elimination, double negative introduction, double negation introduction, or simply double negation) are two valid rules of replacement. They are the inferences that if A is true, then not not-A is true and its converse, that, if not not-A is true, then A is true. The rule allows one to introduce or eliminate a negation from a logical proof. The rule is based on the equivalence of, for example, It is false that it is not raining. and It is raining.The double negation introduction rule is:P ¬¬Pand the double negation elimination rule is:¬¬P PWhere "" is a metalogical symbol representing "can be replaced in a proof with."".
- Double_negative_elimination wikiPageID "21688".
- Double_negative_elimination wikiPageRevisionID "596981397".
- Double_negative_elimination hasPhotoCollection Double_negative_elimination.
- Double_negative_elimination subject Category:Rules_of_inference.
- Double_negative_elimination subject Category:Theorems_in_propositional_logic.
- Double_negative_elimination type Abstraction100002137.
- Double_negative_elimination type Cognition100023271.
- Double_negative_elimination type Concept105835747.
- Double_negative_elimination type Content105809192.
- Double_negative_elimination type Idea105833840.
- Double_negative_elimination type PsychologicalFeature100023100.
- Double_negative_elimination type Rule105846054.
- Double_negative_elimination type RulesOfInference.
- Double_negative_elimination comment "For the theorem of propositional logic based on the same concept, see double negation.In propositional logic, double negative elimination (also called double negation elimination, double negative introduction, double negation introduction, or simply double negation) are two valid rules of replacement. They are the inferences that if A is true, then not not-A is true and its converse, that, if not not-A is true, then A is true.".
- Double_negative_elimination label "Double negative elimination".
- Double_negative_elimination label "Dupla negação".
- Double_negative_elimination label "Eliminación de la doble negación".
- Double_negative_elimination label "Eliminatie van dubbele negatie".
- Double_negative_elimination label "Gesetz der doppelten Negation".
- Double_negative_elimination label "Prawo podwójnej negacji".
- Double_negative_elimination label "Закон двойного отрицания".
- Double_negative_elimination label "二重否定の除去".
- Double_negative_elimination label "双重否定除去".
- Double_negative_elimination sameAs Gesetz_der_doppelten_Negation.
- Double_negative_elimination sameAs Eliminación_de_la_doble_negación.
- Double_negative_elimination sameAs 二重否定の除去.
- Double_negative_elimination sameAs Eliminatie_van_dubbele_negatie.
- Double_negative_elimination sameAs Prawo_podwójnej_negacji.
- Double_negative_elimination sameAs Dupla_negação.
- Double_negative_elimination sameAs m.05fvh.
- Double_negative_elimination sameAs Q737471.
- Double_negative_elimination sameAs Q737471.
- Double_negative_elimination sameAs Double_negative_elimination.
- Double_negative_elimination wasDerivedFrom Double_negative_elimination?oldid=596981397.
- Double_negative_elimination isPrimaryTopicOf Double_negative_elimination.