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
와 달리,
완전성정리,completeness_theorem
콤팩트성정리,compactness_theorem
뢰벤하임-스콜렘_정리,Loewenheim-Skolem_theorem
같은 성질들이 성립.
그냥
술어논리,predicate_logic
라 하면
1차 논리
를 가리키는 경우가 많다
QQQ 아닌 경우가 있는지? 동의어로 서술된 곳은 많은데 아닌 경우가 확실히 없는건지는 아직..
MW 앞부분 번역
변수,variable
는 term이다.
가
- place
[1]
function symbol이고
이 term이면,
도 term이다.
가
- place predicate symbol(
술어,predicate
기호,symbol
)이고
이 term이면,
는 atomic statement
[2]
이다.
wpen 일부분 인용:
sound (all provable statements are true in all models)
complete (all statements which are true in all models are provable)
FOPL 맞는지 chk
fopl first order predicate logic
[
edit
]
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?
[
edit
]
다른 first-order
¶
과의 관계 tbw
first-order_sentence -
문장,sentence
first-order_function -
함수,function
or
펑션,function
first-order_language -
언어,language
[
edit
]
tmp Bmks ko
¶
논리학, 그 열네 번째 이야기 | 1차 논리 ( First Order Logic ) By 초코맛 도비
https://chocobear.tistory.com/179?category=851370
Twins:
First_order_logic
https://foldoc.org/first-order logic
http://www.aistudy.com/logic/first_order_logic.htm
https://planetmath.org/firstorderlogic
1차_논리
http://mathworld.wolfram.com/First-OrderLogic.html
First-order_logic
1차_논리
https://www.pls-lab.org/en/First-order_logic
Up:
논리,logic
형식체계,formal_system
술어논리,predicate_logic
.... up인가 same인가?
----
[1]
참고로, The "places" are the number of "independent inputs" the function needs.
https://math.stackexchange.com/questions/2201754/example-of-n-place-function
[2]
a statement which cannot be broken down into smaller statements.
http://mathworld.wolfram.com/AtomicStatement.html
Retrieved from http://tomoyo.ivyro.net/123/wiki.php/일차논리,first-order_logic
last modified 2023-07-14 00:07:13