'모든 사람은 어떤 사람을 좋아한다'는 서술을 형식문법 wff(well formed fomula)로 표현해보자.





그럼 '모든 사람은 어떤 사람을 좋아한다'의 부정는 무엇일까?

서술만 놓고 보면 잘 떠오르지 않는다. 술어논리로 접근해보자.





따라서 '모든 사람은 어떤 사람을 좋아한다'의 부정은

'어떤 사람은 모든 사람을 좋아하지 않는다'가 된다.




참고자료

1. Judith L.Gersting의 이산수학




Posted by 하남각목