[요약] 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 방법. 일상 언어의 사용에서 오는 혼란과 오류를 탈피하여 명제를 쉽게 다룰 수 있도록 하기 위해 도입한 현대 논리학 이론으로서, 기호를 많이 사용하여 기호 논리학(symbolic logic)이라하고 수리논리학(數理論理學)이라고도 한다. 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 방법. 일상 언어의 사용에서 오는 혼란과 오류를 탈피하여 명제를 쉽게 다룰 수 있도록 하기 위해 도입한 현대논리학 이론으로서, 기호를 많이 사용하여 기호 논리학(symbolic logic)이라하고 수리논리학(數理論理學)이라고도 한다. 예를 들면, ‘X는 Y의 아들이다’라는 명제는 SON(X, Y)라는 술어로 나타낼 수 있다. 이들 술어는 한정 기호에 의해 한정되고 AND(∧), OR(∨), NOT(~)의 연결사에 의해 연결되어 체계화 공식(wff)을 이룬다. 또 수리 논리학은 이러한 wff들을 다루는 수리적 규칙을 정의하여 이들을 쉽게 다룰 수 있도록 한다. 특히 인공 지능 분야의 기초가 되는 지식으로 많이 응용된다.