논리의 기초 명제 정의 : 참인지 거짓인지 판별할 수 있는 문장이나 수식 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라는 항등원이 존재, 그러나 숫자와 다르게 자기 자신에 대한 논리합과 논리곱 연산은 다시 자신으로 돌라옴 논리 연산의 법칙 : 교환법칙..
