3.4 전칭명제와 존재명제

전칭명제 집합 U = {a, b, c, d}(a,b,c,d는 임의 상수)를 변역으로 하는 변수 x에 대해, x<x+1이라는 술어가 있다고 하자. 이와 같이 모든 변수에 대해 성립하는 술어를 전칭명제라고 한다. 존재명제 술어 x+1=2와 같이, 어떠한 x에 대해 x+1이 성립할때 존재명제라고 한다 연습문제, 다음의 명제가 전칭명제인지 존재명제인지를 구분하고 그 참 거짓을 나타내어라. (1) 모든 x에 대해 x<x+1이다. (2) 어떤 x에 대해 x+1=2이다. (3) 모든 x에 대해 x+1=2이다. (4) 어떤 x에 대해 x>x+1이다. (1) 모든 x에 대해 만족해야 하므로 전칭명제, 참 (2) 존재명제, 참 (3) 전칭명제, 거짓 (4) 존재명제, 거짓 보편양화사, 전칭양화사(universal quantifier) P(x) : 자유변수 x에 대한 술어 전칭명제 : 모든 x에 대해 P(x) for all x라고 읽는다. \forall이라쓰면 입력됨 존재양화사(existential q...

원문링크 : 3.4 전칭명제와 존재명제