포함(로직)

논리와 수학에서 포용은 한 물체의 모든 내용들이 또한 두 번째 물체 안에 포함되어 있다는 개념이다.^[1]

예를 들어, m과 n이 두 개의 논리 행렬인 경우,

${\displaystyle m\property n\cHB {\text}\when}\when \all i,j\properties m_{ij}=1\put n_{ij}=1.}$

포용의 현대적인 상징은 이것을 표현하기 위해 거꾸로 쓴 글자 'C'를 사용하여 게르곤느(1816년)에 처음으로 나타나는데, 게르곤느는 이것을 하나의 아이디어 '포함' 또는 다른 아이디어에 의해 '포함'된 것으로 정의한다.Peirce는 1870년에 이것을 명확하게 설명하면서, 또한 포함은 평등보다 더 넓은 개념이며, 따라서 논리적으로 단순한 개념이라고 주장했다.^[2]슈뢰더(또한 프레지)는 같은 개념을 '하위'라고 부른다.^[3]

참조

이 논리와 관련된 글은 단조롭다.위키피디아를 확장하여 도울 수 있다.

• v
• t