Absorption (logic)
id:
absorption-logic-253-6268618
title:
Absorption (logic)
text:
Absorption is a valid argument form and rule of inference of propositional logic. The rule states that if P implies Q , then P implies P and Q . The rule makes it possible to introduce conjunctions to proofs. It is called the law of absorption because the term Q is "absorbed" by the term P in the consequent. The rule can be stated: where the rule is that wherever an instance of " P → Q " appears on a line of a proof, " P → " can be placed on a subsequent line.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Absorption_(logic)
date created:
date modified:
2022-07-20T04:56:46Z
main entity:
{"identifier":"Q4669893","url":"https://www.wikidata.org/entity/Q4669893"}
image:
fields total:
13
integrity:
13