Difference between r1.22 and the current

@@ -1,7 +1,11 @@

#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.)
인용

@@ -18,7 +22,7 @@

그냥 [[술어논리,predicate_logic]]라 하면 '''1차 논리'''를 가리키는 경우가 많다
QQQ 아닌 경우가 있는지? 동의어로 서술된 곳은 많은데 아닌 경우가 확실히 없는건지는 아직..
----

~~http://mathworld.wolfram.com/First-OrderLogic.html~~ 앞부분 번역

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]이다.

@@ -27,9 +31,6 @@

* 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

@@ -39,21 +40,34 @@

'''일차논리=first-order_logic(FOL)=first-order_predicate_logic(FOPL)'''란,
[[변수,variable]]에만
∀와 ∃를 쓸 수 있도록 한 술어논리.

[[이차논리,second-order_logic]]([[고차논리,higher-order_logic]]=higher-order_predicate_logic(HOPL))란, // 이차논리=고차논리이면 삼차 사차 ... 논리는 없음?

[[이차논리,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 이 혹시 다른경우가 있는건지?

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

= first-order ~~sentence~~ =

[[문장,sentence]]

= 다른 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차_논리]]

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

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

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

AKA 술어논리 predicate logic(술어논리,predicate_logic) and 일차술어논리 first-order predicate calculus

네이버의 사전자료는 이 내용이 전부: - 언제였지?
명제논리,propositional_logic를 확장한 것으로 원자atom, 항term, 속성(?), 정량자quantifier(see

한정기호_정량자_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와 달리,

같은 성질들이 성립.

그냥 술어논리,predicate_logic라 하면 1차 논리를 가리키는 경우가 많다

QQQ 아닌 경우가 있는지? 동의어로 서술된 곳은 많은데 아닌 경우가 확실히 없는건지는 아직..

MW 앞부분 번역

변수,variable는 term이다.
$f$ 가 $n$ - place[1] function symbol이고 $t_1,\cdots,t_n$ 이 term이면, $f(t_1,\cdots,t_n)$ 도 term이다.
$P$ 가 $n$ - place predicate symbol(술어,predicate 기호,symbol)이고 $t_1,\cdots,t_n$ 이 term이면, $P(t_1,\cdots,t_n)$ 는 atomic statement[2]이다.