AKA '''술어논리 predicate logic'''([[술어논리,predicate_logic]]) and '''일차술어논리 first-order predicate calculus'''
----
네이버의 사전자료는 이 내용이 전부: ''- 언제였지?''
[[명제논리,propositional_logic]]를 확장한 것으로 원자atom, 항term, 속성(?), 정량자quantifier(see [[RR:한정기호_정량자_quantifier]])로 구성
----
WpKo 1차_논리 (Predicate logic는 여기로 redirected.)
인용
 * 원소에만 한정 기호를 가할 수 있고, 술어에는 한정 기호를 가할 수 없는 [[술어논리,predicate_logic]]이다.
 * 모든 변수는 항이다.
 * ...

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

그냥 [[술어논리,predicate_logic]]라 하면 '''1차 논리'''를 가리키는 경우가 많다
 QQQ 아닌 경우가 있는지? 동의어로 서술된 곳은 많은데 아닌 경우가 확실히 없는건지는 아직..
----
http://mathworld.wolfram.com/First-OrderLogic.html 앞부분 번역
 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)
----
http://www.aistudy.co.kr/logic/first_order_logic.htm

https://planetmath.org/firstorderlogic

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))란, // 이차논리=고차논리이면 삼차 사차 ... 논리는 없음?
 변수뿐만 아니라 함수, 술어기호 등에 대해 
 ∀와 ∃를 쓸 수 있도록 한 술어논리.

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

= first-order sentence =
[[문장,sentence]]

----
Twins:
https://foldoc.org/first-order+logic
[[WpEn:First-order_logic]]
[[WpKo:1차_논리]]
[[Libre:1차_논리]]

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