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

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