건빵의 블로그

방학들어 대학원 스터디의 본격적인 시작! 시간 날때마다 정리해 보자. Propositional Logic Proposition(명제)는 True 혹은 False 값을 가지는 문장이다. Proposition은 Proposition과 논리연산자들을 이용해서 재귀적으로도 정의된다.(negation, and, or, xor, implication 등등) 여기서 기억해둬야 할것은 p->q가 (not p) and q와 동일하다는것! 어떤 proposition이 항상 참인 것을 tautology라고 하며, 항상 거짓인 것을 contradiction, 그냥 일반적인 나머지 proposition을 contingency라 한다. 명제 p와 q에 대해서 pq 가 tautology면, p랑 q는 논리적으로 동등(logical..