Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Exportation_(logic)> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- Exportation_(logic) abstract "Exportation is a valid rule of replacement in propositional logic. The rule allows conditional statements having conjunctive antecedents to be replaced by statements having conditional consequents and vice-versa in logical proofs. It is the rule that:Where "" is a metalogical symbol representing "can be replaced in a proof with."".
- Exportation_(logic) wikiPageID "34769960".
- Exportation_(logic) wikiPageRevisionID "560971009".
- Exportation_(logic) hasPhotoCollection Exportation_(logic).
- Exportation_(logic) subject Category:Rules_of_inference.
- Exportation_(logic) subject Category:Theorems_in_propositional_logic.
- Exportation_(logic) type Abstraction100002137.
- Exportation_(logic) type Cognition100023271.
- Exportation_(logic) type Communication100033020.
- Exportation_(logic) type Concept105835747.
- Exportation_(logic) type Content105809192.
- Exportation_(logic) type Idea105833840.
- Exportation_(logic) type Message106598915.
- Exportation_(logic) type Proposition106750804.
- Exportation_(logic) type PsychologicalFeature100023100.
- Exportation_(logic) type Rule105846054.
- Exportation_(logic) type RulesOfInference.
- Exportation_(logic) type Statement106722453.
- Exportation_(logic) type Theorem106752293.
- Exportation_(logic) type TheoremsInPropositionalLogic.
- Exportation_(logic) comment "Exportation is a valid rule of replacement in propositional logic. The rule allows conditional statements having conjunctive antecedents to be replaced by statements having conditional consequents and vice-versa in logical proofs. It is the rule that:Where "" is a metalogical symbol representing "can be replaced in a proof with."".
- Exportation_(logic) label "Exportation (logic)".
- Exportation_(logic) sameAs m.0j3gdcf.
- Exportation_(logic) sameAs Q5421567.
- Exportation_(logic) sameAs Q5421567.
- Exportation_(logic) sameAs Exportation_(logic).
- Exportation_(logic) wasDerivedFrom Exportation_(logic)?oldid=560971009.
- Exportation_(logic) isPrimaryTopicOf Exportation_(logic).