Включение (логика)

В логике и математике включение — это концепция , согласно которой все содержимое одного объекта также содержится во втором объекте. ^[1]

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

${\displaystyle m\subset n\quad {\text{когда}}\quad \forall i,j\quad m_{ij}=1\подразумевает n_{ij}=1.}$

Современный символ включения впервые появляется у Жергонна (1816), который определяет его как одну идею, «содержащую» или «содержащуюся» в другой, используя для этого перевернутую букву «С». Пирс ясно сформулировал это в 1870 году, утверждая также, что включение — это более широкое понятие, чем равенство, и, следовательно, логически более простое. ^[2] Шредер (также Фреге ) называет то же понятие «подчинением». ^[3]

Эта статья, связанная с логикой, является заглушкой . Вы можете помочь Википедии, расширив ее.

• в
• т
• е