Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Disjunction_introduction> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- Disjunction_introduction abstract "Disjunction introduction or addition is a simple valid argument form, an immediate inference and a rule of inference of propositional logic. The rule makes it possible to introduce disjunctions to logical proofs. It is the inference that if P is true, then P or Q must be true.Socrates is a man.Therefore, either Socrates is a man or pigs are flying in formation over the English Channel.The rule can be expressed as:where the rule is that whenever instances of "" appear on lines of a proof, "" can be placed on a subsequent line.Disjunction introduction is controversial in paraconsistent logic because in combination with other rules of logic, it leads to explosion (i.e. everything becomes provable). See Tradeoffs in Paraconsistent logic.".
- Disjunction_introduction wikiPageID "8528".
- Disjunction_introduction wikiPageRevisionID "596768969".
- Disjunction_introduction hasPhotoCollection Disjunction_introduction.
- Disjunction_introduction subject Category:Paraconsistent_logic.
- Disjunction_introduction subject Category:Rules_of_inference.
- Disjunction_introduction subject Category:Theorems_in_propositional_logic.
- Disjunction_introduction type Abstraction100002137.
- Disjunction_introduction type Cognition100023271.
- Disjunction_introduction type Communication100033020.
- Disjunction_introduction type Concept105835747.
- Disjunction_introduction type Content105809192.
- Disjunction_introduction type Idea105833840.
- Disjunction_introduction type Message106598915.
- Disjunction_introduction type Proposition106750804.
- Disjunction_introduction type PsychologicalFeature100023100.
- Disjunction_introduction type Rule105846054.
- Disjunction_introduction type RulesOfInference.
- Disjunction_introduction type Statement106722453.
- Disjunction_introduction type Theorem106752293.
- Disjunction_introduction type TheoremsInPropositionalLogic.
- Disjunction_introduction comment "Disjunction introduction or addition is a simple valid argument form, an immediate inference and a rule of inference of propositional logic. The rule makes it possible to introduce disjunctions to logical proofs.".
- Disjunction_introduction label "Disjunction introduction".
- Disjunction_introduction label "Introducción de la disyunción".
- Disjunction_introduction label "Introdução da disjunção".
- Disjunction_introduction sameAs Introducción_de_la_disyunción.
- Disjunction_introduction sameAs Introdução_da_disjunção.
- Disjunction_introduction sameAs m.02cm_.
- Disjunction_introduction sameAs Q5282267.
- Disjunction_introduction sameAs Q5282267.
- Disjunction_introduction sameAs Disjunction_introduction.
- Disjunction_introduction wasDerivedFrom Disjunction_introduction?oldid=596768969.
- Disjunction_introduction isPrimaryTopicOf Disjunction_introduction.