기본 용어

논리학과 집합론

• 𝒑(𝒙) ∨ 𝒈(𝒙) = 𝑨 ∪ 𝑩

• 𝒑(𝒙) ∧ 𝒈(𝒙) = 𝑨 ∩ 𝑩

집합과 원소

<aside> 💡 A set is a collection of objects, which are called elements

: 집합이란 원소들의 모음이다.

</aside>

무정의 용어

• 집합(set)과 원소(element)는 정의 없이 사용하는 용어
• 집합의 구성원이 원소, 집합은 그 원소를 포함.(중복x)
• ****직관적으로 이해할 수 있으나 다른 용어로 정의하기 힘든 대상을 표현하기 위해 사용됨

집합론의 창시자 Georg Cantor : “우리의 직관이나 사고로부터 한정적이고 분리된 객체들의 전체 M에서의 수집”

집합의 표시법

𝒂 ∈ 𝑺**,** 𝒃 ∉ 𝑺

‘S가 하나의 집합, a를 S의 원소라고 하고 / b를 S의 원소가 아니라고 한다’

원소나열법

S = {1, 2, 3}