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




  '때때로'는 '어떤 시간'이라고 해석할 수 있다.


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

서술만 놓고보면 헷갈린다. 논리적으로 접근해보자.





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

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


  '항상'은 '모든 시간'이라고 해석된다.





참고자료

1. Judith L.Gersting의 이산수학




Posted by 하남각목