공집합이 아닌 집합 S 공준1 s의 각 구성원은 적어도 하나의 동아리에 속한다. 공준2 s의 각각의 쌍들은 단 하나의 동아리에 쌍이 동시에 속한다. 정의. 공통의 구성원을 갖지...
태그: 논리법, 논리수학, 논리법칙, 공준