명제 조건명제 : 말 그대로 어떤 조건이 충족되는지 여부 p(가정) -> q(결론) 로 표현 (p이면 q이다) 명제의 역 : 원래의 명제에서 가정과 결론을 바꾼 것 (q -> p) 명제의 이 : 명제의 부정 (~p -> ~q) 명제의 대우 : 명제에서 가정과 결론도 바꾸고 부정한 것 (~q -> ~p) 명제함수 : x에 대해 참,거짓이 대응되는 일종의 함수. 미지의 값을 인자로 두어 p(x), q(x) 같은 함수의 형태로 쓰기도 함. p(x) : 2ˣ < 10 (x ∈ N) 진리집합 : 전체집합의 원소 중 명제함수를 참으로 만드는 원소들의 집합 정의 : P = {x | x ∈ U, p(x)} 위의 경우 진리집합은 {1,2,3} (4이상은 거짓이 됨) 한정자 : 명제함수의 인자 범위 규정 ∀(for all..
