(답) (1) 명제가 아님    (2) 거짓인 명제    (3) 명제가 아님

(1) 참 거짓을 판단할 수 없으므로 명제가 아님
(2) 거짓인 명제
(3) x-1 > 0 은 x 에 따라 참, 거짓이 결정됩니다. → 이러한 식을 조건이라고 합니다. ^^

1) 명제 → 참, 거짓을 말할 수 있는 식 이나 문장
2) 조건 p(x) → x 에 따라 참, 거짓이 정해지는 식

(답) {x| x > 2}

1) 조건 p(x) : 2x-1 > x+1 ⇔ x > 2
2) 진리집합 : P = {x| x > 2}

☞ 조건 p(x)를 참이 되게 하는 x 의 집합 → 진리집합

(답) (1) P = {x| x 는 실수}    (2) Q = φ

(1) '모든 x 에 대하여 x²+1 > 0' 이 참 → 진리집합 P = 실수전체
(2) 'x² < 0 을 만족하는 x 가 존재한다.' 는 거짓 → 진리집합 Q = 공집합(φ)

1) P = U 이면 → 모든 x 에 대하여 p(x) 가 성립
2) P = φ 이면 → p(x) 를 만족하는 x 가 존재하지 않음

(답) i) 부정 : -1< x ≤2   ii) 부정의 진리집합 : {x| -1< x ≤2}

1) p 또는 q 의 부정 ⇔ ~p 이고 ~q 이므로 ~(x≤-1 또는 x > 2) ⇔ x>-1 이고 x≤2
2) x>-1 이고 x≤2 ⇔ -1<x≤2 의 진리집합 = {x| -1<x≤2} ^^ 

☞ (A∪B)^C = A^C∩B^C ⇔ ~(p 또는 q) = (~p 이고 ~q)

(답) (1) 참    (2) 거짓

　(1)     (2)
☞ (2) 에서 3, 6을 반례라고 합니다.

☞ 반례 (counter example) →  명제가 거짓임을 보이는 예