Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Negation_introduction> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Negation_introduction abstract "Negation introduction is a Rule of inference, or Transformation rule, in the field of Propositional calculus.Negation introduction states that if a given antecedent implies both the consequent and its complement, then the antecedent is a contradiction.".
- Negation_introduction wikiPageExternalLink Category:Propositional_Calculus.
- Negation_introduction wikiPageID "42211842".
- Negation_introduction wikiPageRevisionID "599999479".
- Negation_introduction subject Category:Propositional_calculus.
- Negation_introduction subject Category:Rules_of_inference.
- Negation_introduction comment "Negation introduction is a Rule of inference, or Transformation rule, in the field of Propositional calculus.Negation introduction states that if a given antecedent implies both the consequent and its complement, then the antecedent is a contradiction.".
- Negation_introduction label "Negation introduction".
- Negation_introduction sameAs m.0100c_4m.
- Negation_introduction sameAs Q16155098.
- Negation_introduction sameAs Q16155098.
- Negation_introduction wasDerivedFrom Negation_introduction?oldid=599999479.
- Negation_introduction isPrimaryTopicOf Negation_introduction.