Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Absorption_(logic)> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- Absorption_(logic) abstract "Absorption is a valid argument form and rule of inference of propositional logic. The rule states that if implies , then implies and . The rule makes it possible to introduce conjunctions to proofs. It is called the law of absorption because the term is "absorbed" by the term in the consequent. The rule can be stated:where the rule is that wherever an instance of "" appears on a line of a proof, "" can be placed on a subsequent line.".
- Absorption_(logic) wikiPageID "34620850".
- Absorption_(logic) wikiPageRevisionID "577170471".
- Absorption_(logic) hasPhotoCollection Absorption_(logic).
- Absorption_(logic) subject Category:Rules_of_inference.
- Absorption_(logic) subject Category:Theorems_in_propositional_logic.
- Absorption_(logic) type Abstraction100002137.
- Absorption_(logic) type Cognition100023271.
- Absorption_(logic) type Communication100033020.
- Absorption_(logic) type Concept105835747.
- Absorption_(logic) type Content105809192.
- Absorption_(logic) type Idea105833840.
- Absorption_(logic) type Message106598915.
- Absorption_(logic) type Proposition106750804.
- Absorption_(logic) type PsychologicalFeature100023100.
- Absorption_(logic) type Rule105846054.
- Absorption_(logic) type RulesOfInference.
- Absorption_(logic) type Statement106722453.
- Absorption_(logic) type Theorem106752293.
- Absorption_(logic) type TheoremsInPropositionalLogic.
- Absorption_(logic) comment "Absorption is a valid argument form and rule of inference of propositional logic. The rule states that if implies , then implies and . The rule makes it possible to introduce conjunctions to proofs. It is called the law of absorption because the term is "absorbed" by the term in the consequent. The rule can be stated:where the rule is that wherever an instance of "" appears on a line of a proof, "" can be placed on a subsequent line.".
- Absorption_(logic) label "Absorption (logic)".
- Absorption_(logic) label "Absorção (lógica)".
- Absorption_(logic) sameAs Absorção_(lógica).
- Absorption_(logic) sameAs m.0j3g5wh.
- Absorption_(logic) sameAs Q4669893.
- Absorption_(logic) sameAs Q4669893.
- Absorption_(logic) sameAs Absorption_(logic).
- Absorption_(logic) wasDerivedFrom Absorption_(logic)?oldid=577170471.
- Absorption_(logic) isPrimaryTopicOf Absorption_(logic).