propositional-logic

참 또는 거짓을 판별할 수 있는 명제들과 논리 연산자(AND, OR, NOT 등)를 사용하여 지식을 표현하고 추론하는 가장 기본적인 논리 체계이다.