Predicate Calculus
함수 논리 / 양화 논리, 술어 계산으로 형식화
프레게의 초기 술어 논리가 발전
명제에 존재하는 주어 술어 구조로부터 주어가 될 수 있는 대상에 대해 한정 기호를 사용하는 논리
따라서 명제 논리와는 달리 명제의 내부 구조 분석에 의한 추론 규칙을 다룰 수 있다
명제논리에서는 명제가 최소 단위이므로 명제의 내부구조에 대한 분석은 이루어질 수 없다
술어 논리는 유럽의 고틀로프 프레게와 미국의 찰스 샌더스 퍼스에 의해 각각 독자적으로 창안
Predicate logic Notion
Predicate Logic Theorem