Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Transposition_(logic)> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- Transposition_(logic) abstract "In propositional logic, transposition is a valid rule of replacement that permits one to switch the antecedent with the consequent of a conditional statement in a logical proof if they are also both negated. It is the inference from the truth of "A implies B" the truth of "Not-B implies not-A", and conversely. It is very closely related to the rule of inference modus tollens. It is the rule that:(P → Q) (¬ Q → ¬ P)Where "" is a metalogical symbol representing "can be replaced in a proof with."".
- Transposition_(logic) wikiPageExternalLink imptrans.html.
- Transposition_(logic) wikiPageID "2655832".
- Transposition_(logic) wikiPageRevisionID "553188103".
- Transposition_(logic) hasPhotoCollection Transposition_(logic).
- Transposition_(logic) subject Category:Rules_of_inference.
- Transposition_(logic) subject Category:Theorems_in_propositional_logic.
- Transposition_(logic) type Abstraction100002137.
- Transposition_(logic) type Cognition100023271.
- Transposition_(logic) type Communication100033020.
- Transposition_(logic) type Concept105835747.
- Transposition_(logic) type Content105809192.
- Transposition_(logic) type Idea105833840.
- Transposition_(logic) type Message106598915.
- Transposition_(logic) type Proposition106750804.
- Transposition_(logic) type PsychologicalFeature100023100.
- Transposition_(logic) type Rule105846054.
- Transposition_(logic) type RulesOfInference.
- Transposition_(logic) type Statement106722453.
- Transposition_(logic) type Theorem106752293.
- Transposition_(logic) type TheoremsInPropositionalLogic.
- Transposition_(logic) comment "In propositional logic, transposition is a valid rule of replacement that permits one to switch the antecedent with the consequent of a conditional statement in a logical proof if they are also both negated. It is the inference from the truth of "A implies B" the truth of "Not-B implies not-A", and conversely. It is very closely related to the rule of inference modus tollens. It is the rule that:(P → Q) (¬ Q → ¬ P)Where "" is a metalogical symbol representing "can be replaced in a proof with."".
- Transposition_(logic) label "Transposition (logic)".
- Transposition_(logic) sameAs m.07vs7x.
- Transposition_(logic) sameAs Q7835331.
- Transposition_(logic) sameAs Q7835331.
- Transposition_(logic) sameAs Transposition_(logic).
- Transposition_(logic) wasDerivedFrom Transposition_(logic)?oldid=553188103.
- Transposition_(logic) isPrimaryTopicOf Transposition_(logic).