Apsorpcija (logika)

Šablon:Drugo značenje3 Šablon:Pravila transformacije Apsorpcija je jedna vrsta forme iskazne logike. Pravilo kaže da ako $P$ implicira $Q$, onda $P$ implicira $P$ i $Q$. Pravilo omogućava predstavljanje konjunkcije dokazima. Zove se zakon apsorpcije zato što izraz $P$ "apsorbuje" izraz $Q$. Pravilo kaže:

$\frac{P\to Q}{\therefore P\to (P\wedge Q)}$

gde je pravilo da se "$P\to Q$" , može izraziti kao "$P\to (P\wedge Q)$"

Pravilo

Zakon apsorpcije može se iskazati kao sledeće:

$P\to Q⊢P\to (P\wedge Q)$

gde je $⊢$ metalogični simbol koji označava da je $P\to (P\wedge Q)$ sintaksna posledica $(P\leftrightarrow Q)$ u nekom logičkom sistemu;

i izražena kao tautologija ili teorema iskazne logike. Princip je objašnjen kao teorema iskazne logike po Raselu i Vajthedu u knjizi Principia Mathematica:

$(P\to Q)\leftrightarrow (P\to (P\wedge Q))$

gde su $P$, i $Q$ pretpostavke prikazane u nekom formalnom sistemu.

Primeri

Ako kiša bude padala, nosiću kaput.

Dakle, ako kiša bude padala, onda će padati i nosiću kaput.

Tablice istinitosti - dokaz

$P$	$Q$	$P\to Q$	$P\to P\wedge Q$
T	T	T	T
T	F	F	F
F	T	T	T
F	F	T	T

Formalni dokaz

Pretpostavka	Izvor
$P\to Q$	Dat
$\mathrm{\neg }P\vee Q$	Materijalna implikacija
$\mathrm{\neg }P\vee P$	Zakon izuzete sredine
$(\mathrm{\neg }P\vee P)\wedge (\mathrm{\neg }P\vee Q)$	Konjunkcija
$\mathrm{\neg }P\vee (P\wedge Q)$	Obrnuta distributivnost
$P\to (P\wedge Q)$	Materijalna implikacija

Literatura

• Šablon:Cite book