올바른 추론을 했다면


전제가 참이면 결론도 참임


대우명제는


결론이 거짓이면 전제가 거짓


여기서 사용된 대우명제가 유도된 방식은


(p->q)<->(not p or q)


(not q->not p)<->(q or not p)


이런식으로 대우명제가 동치임을 증명함


(p->q)<->(not p or q) 이걸 유도한 방식은


(p->q)의 진리표에 p가 거짓이거나 q가 참이면 (p->q)가 참이라고 하기 때문임


그럼 그 진리표를 어떻게 유도했냐하면


실제로 p이고 q이면 p->q가 참이됨


왜냐하면 p일때 q이기 때문에 이 (p일때 q다)라는게 (p->q)를 의미함


p이고 not q이다 라고 하면 (p일때 q)다 라는게 거짓이됨 왜냐하면 p일때 not q이기 때문임


not p 그러니까 p가 거짓인 경우는 솔직히 나도 집합적으로밖에 아는게 없어서 


거짓명제의 진리집합이 공집합이고 공집합은 모든집합의 부분집합임


그러니까 공집합은 공집합의 부분집합이기 때문에 not p->not q 가 성립한다고 알고있음


또 공집합은 공집합이 아닌 집합의 부분집합이기도 하기 때문에 not p->q 도 성립함



내가 이글을 무슨목적으로 썼는지 나도 모르겠다


수능수학 5등급이 한말이니 신뢰도는 알거라믿는다