Predicate Logic


## Predicate Calculus
함수 논리 / 양화 논리, 술어 계산으로 형식화
프레게의 초기 술어 논리가 발전
명제에 존재하는 주어 술어 구조로부터 주어가 될 수 있는 대상에 대해 한정 기호를 사용하는 논리
따라서 명제 논리와는 달리 명제의 내부 구조 분석에 의한 추론 규칙을 다룰 수 있다
명제논리에서는 명제가 최소 단위이므로 명제의 내부구조에 대한 분석은 이루어질 수 없다
술어 논리는 유럽의 고틀로프 프레게와 미국의 찰스 샌더스 퍼스에 의해 각각 독자적으로 창안
### Predicate logic Notion
|Title|
|:-:|
|[Inference](https://texonom.com/inference-74db3fc61037415ea1f3ec39b1eeeb0f)|
|[first-order logic](https://texonom.com/first-order-logic-8803c1084a5948d481dbf5254ed9ce41)|
|[second-order logic](https://texonom.com/second-order-logic-7369c9dec58f479fb61b1010cea4b4f4)|
|[higher-order logic](https://texonom.com/higher-order-logic-f6c0128eb1de4a5c81eff7e8ebd8a161)|
|[Quantifier](https://texonom.com/quantifier-9c8ecf60134f40f58d1af5a382c27f28)|
|[domain of discourse](https://texonom.com/domain-of-discourse-6936a8c1ec694b0e8b8504b76bed2d8f)|
|[First-order logic](https://texonom.com/first-order-logic-290522e2846643ba934eac6c7b769f3f)|



### Predicate Logic Theorem
|Title|
|:-:|
|[콤팩트성 정리](https://texonom.com/1a5e6f00837e43938a7a39b9d57167ff)|
|[뢰벤하임-스콜렘 정리](https://texonom.com/3c9c34bc160443c2ad1df2449ed984d1)|
|[Lindström’s theorem](https://texonom.com/lindstrms-theorem-d9ab0e72c0d24a41b8691397e84e5b87)|
|[체르멜로-프렝켈 집합론](https://texonom.com/2f60df151b2447029d0b2fba15edd5e0)|





> [술어 논리 - 위키백과, 우리 모두의 백과사전](https://ko.wikipedia.org/wiki/%EC%88%A0%EC%96%B4_%EB%85%BC%EB%A6%AC)





