Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Constructive_dilemma> ?p ?o. }
Showing items 1 to 40 of
40
with 100 items per page.
- Constructive_dilemma abstract "Constructive dilemma is a name of a valid rule of inference of propositional logic. It is the inference that, if P implies Q and R implies S and either P or R is true, then Q or S has to be true. In sum, if two conditionals are true and at least one of their antecedents is, then at least one of their consequents must be too. Constructive dilemma is the disjunctive version of modus ponens, whereas,destructive dilemma is the disjunctive version of modus tollens. The rule can be stated:where the rule is that whenever instances of "", "", and "" appear on lines of a proof, "" can be placed on a subsequent line.".
- Constructive_dilemma wikiPageID "1316648".
- Constructive_dilemma wikiPageRevisionID "561528458".
- Constructive_dilemma hasPhotoCollection Constructive_dilemma.
- Constructive_dilemma subject Category:Dilemmas.
- Constructive_dilemma subject Category:Rules_of_inference.
- Constructive_dilemma subject Category:Theorems_in_propositional_logic.
- Constructive_dilemma type Abstraction100002137.
- Constructive_dilemma type Attribute100024264.
- Constructive_dilemma type Cognition100023271.
- Constructive_dilemma type CognitiveState105669934.
- Constructive_dilemma type Communication100033020.
- Constructive_dilemma type Concept105835747.
- Constructive_dilemma type Condition113920835.
- Constructive_dilemma type Confusion105683582.
- Constructive_dilemma type Content105809192.
- Constructive_dilemma type Dilemma105686086.
- Constructive_dilemma type Dilemmas.
- Constructive_dilemma type Idea105833840.
- Constructive_dilemma type Message106598915.
- Constructive_dilemma type Perplexity105685363.
- Constructive_dilemma type Proposition106750804.
- Constructive_dilemma type PsychologicalFeature100023100.
- Constructive_dilemma type PsychologicalState114373582.
- Constructive_dilemma type Rule105846054.
- Constructive_dilemma type RulesOfInference.
- Constructive_dilemma type State100024720.
- Constructive_dilemma type Statement106722453.
- Constructive_dilemma type Theorem106752293.
- Constructive_dilemma type TheoremsInPropositionalLogic.
- Constructive_dilemma comment "Constructive dilemma is a name of a valid rule of inference of propositional logic. It is the inference that, if P implies Q and R implies S and either P or R is true, then Q or S has to be true. In sum, if two conditionals are true and at least one of their antecedents is, then at least one of their consequents must be too. Constructive dilemma is the disjunctive version of modus ponens, whereas,destructive dilemma is the disjunctive version of modus tollens.".
- Constructive_dilemma label "Constructive dilemma".
- Constructive_dilemma label "Dilema construtivo".
- Constructive_dilemma sameAs Dilema_construtivo.
- Constructive_dilemma sameAs m.04sd99.
- Constructive_dilemma sameAs Q5164489.
- Constructive_dilemma sameAs Q5164489.
- Constructive_dilemma sameAs Constructive_dilemma.
- Constructive_dilemma wasDerivedFrom Constructive_dilemma?oldid=561528458.
- Constructive_dilemma isPrimaryTopicOf Constructive_dilemma.