WikiDer > Включение (логика)
Inclusion (logic)
В логика и математика, включение это концепция, согласно которой все содержимое одного объекта также содержится во втором объекте.[1]
Например, если м и п два логические матрицы, тогда
Современный символ включения впервые появляется в Gergonne (1816), который определяет это как одну идею, «содержащую» или «содержащуюся» в другой, используя обратную букву «С», чтобы выразить это. Пирс четко сформулировал это в 1870 году, утверждая также, что включение было более широким понятием, чем равенство, и, следовательно, логически более простым.[2] Шредер (также Фреге) называет то же понятие «подчинение».[3]
Рекомендации
- ^ Куайн, В. В. (декабрь 1937 г.). «Логика, основанная на включении и абстракции». Журнал символической логики. 2 (4): 145–152. Дои:10.2307/2268279. JSTOR 2268279.
- ^ «Описание обозначения», CP III 28.
- ^ Vorlesungen I., 127.
 | Этот логика-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |