명제 조건명제 : 말 그대로 어떤 조건이 충족되는지 여부 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..

논리의 기초 명제 정의 : 참인지 거짓인지 판별할 수 있는 문장이나 수식 p,q,r같은 영문자로 표시 진리값 : 명제의 참 거짓 명제에도 기본적인 연산이 존재 (논리연산) 진리표 : 논리연산의 결과를 표 형태로 알아보기 위해 나타낸 것. 항진명제 : 항상 참인 명제 모순명제 : 항상 거짓이 되는 명제 부정 연산한 결과를 다시 부정 연산하면 원래 명제의 진리값으로 돌아감 드 모르간의 법칙(De Morgan's law) not (A or B)=(not A) and (not B) not (A and B)=(not A) or (not B) 항등원 : 논리합에는 F, 논리곱에는 T라는 항등원이 존재, 그러나 숫자와 다르게 자기 자신에 대한 논리합과 논리곱 연산은 다시 자신으로 돌라옴 논리 연산의 법칙 : 교환법칙..