Апсорпција је једна врста форме исказне логике.-{Rules of Inference}- Правило каже да ако имплицира , онда имплицира и . Правило омогућава представљање конјункције доказима. Зове се закон апсорпције зато што израз "апсорбује" израз .-{Russell and Whitehead, Principia Mathematica}- Правило каже:
где је правило да се "" , може изразити као ""
Правило Закон апсорпције може се исказати као следеће:
где је металогични симбол који означава да је синтаксна последица у неком логичком систему;
и изражена као таутологија или теорема исказне логике. Принцип је објашњен као теорема исказне логике по Раселу и Вајтхеду у књизи Principia Mathematica:
где су , и претпоставке приказане у неком формалном систему.
Примери Ако киша буде падала, носићу капут. Дакле, ако киша буде падала, онда ће падати и носићу капут.
Таблице истинитости - доказ + T T T T T F F F F T T T F F T T
Формални доказ + Претпоставка Извор Дат Материјална импликација Закон изузете средине Конјункција Обрнута дистрибутивност Материјална импликација
Референце
Литература
Категорија:Правила закључивања Категорија:Теореме у исказној логици