[요약] 명제를 기호화하여 논리적인 명제의 진위관계(眞僞關係)를 연산형식으로 다루는 것이다. ① logic calculus 기호논리학의 명제에 관한 산법(算法). 명제를 문자 p,q,r,…로 표시하고 명제의 논리기호(~ : 부정, ∧ : 논리곱, V : 논리합, → : 포함, ↔ : 동치)로 결합시켜 새로운 합성명제를 만들어 논리계산에 의해 각 명제 사이의 관계를 명확하게 표시한다. 합성명제의 참과 거짓은「진리표」에 의해 결정된다. ② logical operation 계산기가 할 수 있는 연산조작 중에서 4칙연산, 즉 수치의 가감승제를 제외한 것. 이를테면 1비트마다의 논리합·논리곱·비교·추출·추월 등이 여기에 포함된다.