명제: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
78번째 줄:
즉 명제의 부정은 여집합과 대응되는 관계이므로 여집합의 성질을 이용하여 명제의 부정에 대한 성질이 위와 같이 성립함을 알 수 있다.
▲=== '모든'이나 '어떤'이 들어있는 명제 ===
문장 'x는 5의 약수이다.'는 조건이지만 다음 각 문장들은 참과 거짓이 판별가능하다.
* '모든 자연수 x는 7의 약수이다.' - 거짓인 명제
* '어떤 자연수 x는 7의 약수이다.' - 참인 명제
~(모든 x에 대하여 p(x)) <math> \to </math> 어떤 x에 대하여 ~p(x)
~(어떤 x에 대하여 p(x)) <math> \to </math> 모든 x에 대하여 ~p(x)
== 같이 보기 ==
|