Вклученост (логика)

Во логиката и математиката, вклученоста е концепт дека сите содржини на еден предмет се исто така содржани во втор предмет. 

На пример, ако m и n се две логички матрици, тогаш 



Современиот симбол за вклучување најпрво се појавува кај Жергон (1816), кој ја дефинира како една идеја која „содржи“ или е „содржана“ од друга, користејќи ја задната буква „C“ за да го изрази ова. Пирс ова го артикулирал јасно во 1870 година, тврдејќи исто така дека вклучувањето е поширок концепт од еднаквоста, а со тоа и логично поедноставно."Descr. of a notation", CP III 28. Шродер (исто така Фреге) го нарекува истиот концепт „потчинување“.Vorlesungen I., 127. 

 Наводи 

Категорија:Логика
Категорија:Историја на логиката