| [ QuizWit ] in KIDS 글 쓴 이(By): kimsr (Pabochet) 날 짜 (Date): 2002년 11월 1일 금요일 오후 04시 50분 44초 제 목(Title): Re: 명제와 진리집합 문제가 약간 혼동을 주는 방식으로 표현된 것 같군요. 의도가 그런지는 모르겠지만요. 명제에서 진리집합을 생각할 수 있나요? 진리집합을 말하려면 조건명제여야 하는 건 아닌지. 물론, p -> q 와 P \subset Q 가 동치라고 말하기는 합니다만, 정확히는 Ax(P(x) -> Q(x)) 와 P \subset Q가 동치인 걸로 알고 있습니다. ((p V q) -> p) V ((p V q) -> q) 가 항진이니, Ax[(P(x) V Q(x)) -> P(x)) V (...)]는 (항진이 아니고) 참입니다. (어떤 명제식이 항진이면 조건명제로 바꾸어서 Ax를 붙이면 참이된다는.) 그리고, (P(x) V Q(x)) -> P(x)) V (...)의 진리집합은 전체집합이고요. 문제의 (P \union Q \subset P) V (P \union Q \subset Q)는 조건명제로 바꾸면, Ax[P(x)VQ(x)->P(x)] V Ax[P(x)VQ(x)->Q(x)]가 되니 quantifier가 전체에 붙어 있는 것과 다르게 됩니다. |