술어 논리: 두 판 사이의 차이

'''술어 논리'''(predicate logic)는 <math>\forall</math>, <math>\exists</math> 등의 술어 기호를 사용하는 논리 구조를 의미한다. 일반적으로 사용되는 구조에는 [[1차 논리]]가 있으며, 이외에도 [[2차 논리]] 등이 사용된다.

 

 

명제논리에서의 명제는 단위로 취급되어 그 내부구조 속으로 파고들어간 분석은 이루어질 수 없다.