Апсорпција (логика)

Из Википедије, слободне енциклопедије
За другу употребу, погледајте страницу Апсорпција.

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

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

Правило[уреди]

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

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

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

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

Примери[уреди]

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

Таблице истинитости - доказ[уреди]

T T T T
T F F F
F T T T
F F T T

Формални доказ[уреди]

Претпоставка Извор
Дат
Материјална импликација
Закон изузете средине
Конјункција
Обрнута дистрибутивност
Материјална импликација

Референце[уреди]

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

Литература[уреди]

  • Copi, Irving M.; Cohen, Carl (2005). Introduction to Logic. Prentice Hall. стр. 362.