'모든 사람은 어떤 사람을 좋아한다'는 서술을 형식문법 wff(well formed fomula)로 표현해보자.
그럼 '모든 사람은 어떤 사람을 좋아한다'의 부정는 무엇일까?
서술만 놓고 보면 잘 떠오르지 않는다. 술어논리로 접근해보자.
따라서 '모든 사람은 어떤 사람을 좋아한다'의 부정은
'어떤 사람은 모든 사람을 좋아하지 않는다'가 된다.
참고자료
1. Judith L.Gersting의 이산수학
'Mathematics' 카테고리의 다른 글
Complete Graph(완전 그래프)란 무엇인가 (0) | 2013.05.04 |
---|---|
술어논리 - '모든 사람은 때때로 어떤 사람을 좋아한다'와 그 부정 (0) | 2013.04.26 |
술어논리 - '모든 사람은 어떤 사람을 좋아한다'와 그 부정 (0) | 2013.04.26 |
칸토어의 집합론 - 자연수 vs 실수 (0) | 2013.04.26 |
칸토어의 집합론 - 자연수 vs 유리수 (0) | 2013.04.26 |
칸토어의 집합론 - 자연수 vs 정수 (1) | 2013.04.26 |