Apsorpcija (logika)

Za ostale upotrebe, v. Apsorpcija.

Apsorpcija je jedna vrsta forme iskazne logike.^[1][2] Pravilo kaže da ako ${\displaystyle P}$ implicira ${\displaystyle Q}$, onda ${\displaystyle P}$ implicira ${\displaystyle P}$ i ${\displaystyle Q}$. Pravilo omogućava predstavljanje konjunkcije dokazima. Zove se zakon apsorpcije zato što izraz ${\displaystyle P}$ "apsorbuje" izraz ${\displaystyle Q}$.^[3] Pravilo kaže:

${\displaystyle {\frac {P\to Q}{\therefore P\to (P\land Q)}}}$

gde je pravilo da se "${\displaystyle P\to Q}$" , može izraziti kao "${\displaystyle P\to (P\land Q)}$"

1. ↑ Copi, Irving M.; Cohen, Carl (2005). Introduction to Logic. Prentice Hall. str. 362. 
2. ↑ Rules of Inference
3. ↑ Russell and Whitehead, Principia Mathematica