우리학교도 웨이드인데 반갑다 - dc App
공허참이나 vacuous implication 찾아보면 도움될듯. 사실 지금 당장 그렇게 중요한 문제는 아님. 위상수학가면 전체 집합과 공집합은 open이다라고 애초에 정의하기 때문에 사실 지금보면 ㅋㅋ
공집합에 원소 있다고 가정한 거 아님. 키워드) 존재함축, 공허참.
명제:p->q 에서 p가 항상 거짓이면 명제가 참인 거랑 비슷함. p의 진리집합이 공집합이니까 항상 q의 진리집합의 부분집합이 되기 때문
우리학교도 웨이드인데 반갑다 - dc App
공허참이나 vacuous implication 찾아보면 도움될듯. 사실 지금 당장 그렇게 중요한 문제는 아님. 위상수학가면 전체 집합과 공집합은 open이다라고 애초에 정의하기 때문에 사실 지금보면 ㅋㅋ
공집합에 원소 있다고 가정한 거 아님. 키워드) 존재함축, 공허참.
명제:p->q 에서 p가 항상 거짓이면 명제가 참인 거랑 비슷함. p의 진리집합이 공집합이니까 항상 q의 진리집합의 부분집합이 되기 때문