Matches in DBpedia 2014 for { ?s ?p 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.. }
Showing items 1 to 2 of
2
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) 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.".