집합론 교재에는 없는데,
선배들이 준 족보 보니까 시험에는 나옴…
한개일때는 모든은 어떤으로, 어떤은 모든으로 바뀌고
명제는 부정하면 됐는데
두개 이상 겹친거는 어케해야 할지 모르겠음
가령,
(Ax)(Ey), p(x,y)
(Ex)(Ay), p(x,y)
이런거 어케 부정함??
집합론 교재에는 없는데,
선배들이 준 족보 보니까 시험에는 나옴…
한개일때는 모든은 어떤으로, 어떤은 모든으로 바뀌고
명제는 부정하면 됐는데
두개 이상 겹친거는 어케해야 할지 모르겠음
가령,
(Ax)(Ey), p(x,y)
(Ex)(Ay), p(x,y)
이런거 어케 부정함??
?? 양화사 2개는 특별한 법칙이 있는 게 아니라 그냥 두 번 적용하는 건데?
그럼 첫번째 문장같은 경우, (Ex)(Ay), -p(x,y) 라고 하면 됨??
@ㅇㅇ(39.120) 맞아. 왜냐면 (Ax)(Ey)p(x,y)는 사실 괄호가 생략된 문장임. (Ax) ((Ey)p(x,y))에서 괄호 생략한 거임.
@해석학 ㅇㅎ 감사감사