태그: Philosophy

1차 논리 (First-Order Logic)

1차 논리(FOL)는 객체에 대한 진술을 상수·변수·술어·양화사로 구조화하여, 속성·관계·일반 규칙을 형식적으로 표현하고 추론할 수 있게 하는 논리 체계이다.

• Logic
• Philosophy
• Mathematics