#noindex
AKA '''술어논리 predicate logic'''([[술어논리,predicate_logic]]) and '''일차술어논리 first-order predicate calculus'''
----
네이버의 사전자료는 이 내용이 전부: ''- 언제였지?''
[[명제논리,propositional_logic]]를 확장한 것으로 원자atom, 항term, 속성(?), 정량자quantifier(see [[RR:한정기호_정량자_quantifier]])로 구성
----
CHK: [[술어논리,predicate_logic]]에서 quantifier가 [[변수,variable]]에만 적용되고, [[술어,predicate]]나 [[함수,function]]에 대해 허용하지,,허용되지?,, 않는 경우 이를 일차술어계산(first-order predicate calculus)이라고 한다... (?)
(http://www.aistudy.com/logic/first_order_logic.htm 두번째 문장)
----
WpKo 1차_논리 (Predicate logic는 여기로 redirected.)
인용
 * 원소에만 한정 기호를 가할 수 있고, 술어에는 한정 기호를 가할 수 없는 [[술어논리,predicate_logic]]이다.
 * 모든 변수는 항이다.
 * ...

'''1차 논리'''에선 [[이차논리,second-order_logic]]와 달리, 
 * [[완전성정리,completeness_theorem]]
 * [[콤팩트성정리,compactness_theorem]]
 * [[뢰벤하임-스콜렘_정리,Loewenheim-Skolem_theorem]]
같은 성질들이 성립.

그냥 [[술어논리,predicate_logic]]라 하면 '''1차 논리'''를 가리키는 경우가 많다
 QQQ 아닌 경우가 있는지? 동의어로 서술된 곳은 많은데 아닌 경우가 확실히 없는건지는 아직..
----
MW 앞부분 번역
 1. [[변수,variable]]는 term이다.
 1. $f$ 가 $n$ - place[* 참고로, The "places" are the number of "independent inputs" the function needs. https://math.stackexchange.com/questions/2201754/example-of-n-place-function] function symbol이고 $t_1,\cdots,t_n$ 이 term이면, $f(t_1,\cdots,t_n)$ 도 term이다.
 1. $P$ 가 $n$ - place predicate symbol([[술어,predicate]] [[기호,symbol]])이고 $t_1,\cdots,t_n$ 이 term이면, $P(t_1,\cdots,t_n)$ 는 atomic statement[* a statement which cannot be broken down into smaller statements. http://mathworld.wolfram.com/AtomicStatement.html]이다.
----
wpen 일부분 인용:
 * sound (all provable statements are true in all models)
 * complete (all statements which are true in all models are provable)
----

FOPL 맞는지 chk
Google:fopl+first+order+predicate+logic 

= FOPL =
//tmp from https://charstring.tistory.com/422
'''일차논리=first-order_logic(FOL)=first-order_predicate_logic(FOPL)'''란,
 [[변수,variable]]에만
 ∀와 ∃를 쓸 수 있도록 한 술어논리.
[[이차논리,second-order_logic]]([[고차논리,higher-order_logic]]=higher-order_predicate_logic(HOPL))란, // 이차논리=고차논리이면 삼차 사차 ... 논리는 없음? 있다면 구체적 확장(or 제한)이 들어가는 기준?
 변수뿐만 아니라 함수, 술어기호 등에 대해 
 ∀와 ∃를 쓸 수 있도록 한 술어논리.

http://www.aistudy.com/logic/first_order_logic.htm - FOPL. /// QQQ FOL과 FOPL 이 혹시 다른경우가 있는건지? 있다면 example?

= 다른 first-order =
과의 관계 tbw
first-order_sentence - [[문장,sentence]]
first-order_function - [[함수,function]] or [[펑션,function]]
first-order_language - [[언어,language]]

= tmp Bmks ko =
논리학, 그 열네 번째 이야기  |  1차 논리 ( First Order Logic )  By 초코맛 도비
https://chocobear.tistory.com/179?category=851370

----
Twins:
[[WpSimple:First_order_logic]]
https://foldoc.org/first-order+logic
http://www.aistudy.com/logic/first_order_logic.htm
https://planetmath.org/firstorderlogic
[[Libre:1차_논리]]
http://mathworld.wolfram.com/First-OrderLogic.html
[[WpEn:First-order_logic]]
[[WpKo:1차_논리]]

https://www.pls-lab.org/en/First-order_logic

Up: [[논리,logic]] [[형식체계,formal_system]] '''[[술어논리,predicate_logic]] .... up인가 same인가?'''