Апсорпција (логика)
Апсорпција је једна врста форме исказне логике. Правило каже да ако  имплицира , онда  имплицира  и . Правило омогућава представљање конјункције доказима. Зове се закон апсорпције зато што израз  "апсорбује" израз . Правило каже:

где је правило да се "" , може изразити као ""

Правило 
Закон апсорпције може се исказати као следеће:

 

где је  металогични симбол који означава да је  синтаксна последица  у неком логичком систему;

и изражена као таутологија или теорема исказне логике. Принцип је објашњен као теорема исказне логике по Раселу и Вајтхеду у књизи Principia Mathematica:

где су , и  претпоставке приказане у неком формалном систему.

Примери 
Ако киша буде падала, носићу капут.
Дакле, ако киша буде падала, онда ће падати и носићу капут.

Таблице истинитости - доказ

Формални доказ

Референце

Литература 
 

Правила закључивања
Теореме у исказној логици
Апсорпција је једна врста форме исказне логике . Правило каже да ако имплицира , онда имплицира и \ . Правило омогућава представљање конјункције доказима . Зове се закон апсорпције зато што израз " апсорбује " израз \ . Правило каже : где је правило да се " " , може изразити као " " Правило Закон апсорпције може се исказати као следеће : где је металогични симбол који означава да је синтаксна последица у неком логичком систему ; и изражена као таутологија или теорема исказне логике . Принцип је објашњен као теорема исказне логике по Раселу и Вајтхеду у књизи Principia Mathematica : где су , и претпоставке приказане у неком формалном систему . Примери Ако киша буде падала , носићу капут . Дакле , ако киша буде падала , онда ће падати и носићу капут . Таблице истинитости - доказ Формални доказ Референце Литература Правила закључивања Теореме у исказној логици