Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Destructive_dilemma> ?p ?o. }
Showing items 1 to 39 of
39
with 100 items per page.
- Destructive_dilemma abstract "Destructive dilemma is the 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 Q is false or S is false, then either P or R must be false. In sum, if two conditionals are true, but one of their consequents is false, then one of their antecedents has to be false. Destructive dilemma is the disjunctive version of modus tollens. The disjunctive version of modus ponens is the constructive dilemma. The rule can be stated:where the rule is that wherever instances of "", "", and "" appear on lines of a proof, "" can be placed on a subsequent line.".
- Destructive_dilemma wikiPageExternalLink DestructiveDilemma.html.
- Destructive_dilemma wikiPageID "1316878".
- Destructive_dilemma wikiPageRevisionID "499228688".
- Destructive_dilemma hasPhotoCollection Destructive_dilemma.
- Destructive_dilemma subject Category:Dilemmas.
- Destructive_dilemma subject Category:Rules_of_inference.
- Destructive_dilemma subject Category:Theorems_in_propositional_logic.
- Destructive_dilemma type Abstraction100002137.
- Destructive_dilemma type Attribute100024264.
- Destructive_dilemma type Cognition100023271.
- Destructive_dilemma type CognitiveState105669934.
- Destructive_dilemma type Communication100033020.
- Destructive_dilemma type Concept105835747.
- Destructive_dilemma type Condition113920835.
- Destructive_dilemma type Confusion105683582.
- Destructive_dilemma type Content105809192.
- Destructive_dilemma type Dilemma105686086.
- Destructive_dilemma type Dilemmas.
- Destructive_dilemma type Idea105833840.
- Destructive_dilemma type Message106598915.
- Destructive_dilemma type Perplexity105685363.
- Destructive_dilemma type Proposition106750804.
- Destructive_dilemma type PsychologicalFeature100023100.
- Destructive_dilemma type PsychologicalState114373582.
- Destructive_dilemma type Rule105846054.
- Destructive_dilemma type RulesOfInference.
- Destructive_dilemma type State100024720.
- Destructive_dilemma type Statement106722453.
- Destructive_dilemma type Theorem106752293.
- Destructive_dilemma type TheoremsInPropositionalLogic.
- Destructive_dilemma comment "Destructive dilemma is the 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 Q is false or S is false, then either P or R must be false. In sum, if two conditionals are true, but one of their consequents is false, then one of their antecedents has to be false. Destructive dilemma is the disjunctive version of modus tollens. The disjunctive version of modus ponens is the constructive dilemma.".
- Destructive_dilemma label "Destructive dilemma".
- Destructive_dilemma sameAs m.04sdrs.
- Destructive_dilemma sameAs Q5265416.
- Destructive_dilemma sameAs Q5265416.
- Destructive_dilemma sameAs Destructive_dilemma.
- Destructive_dilemma wasDerivedFrom Destructive_dilemma?oldid=499228688.
- Destructive_dilemma isPrimaryTopicOf Destructive_dilemma.