AKA 술어논리 predicate logic(술어논리,predicate_logic) and 일차술어논리 first-order predicate calculus
네이버의 사전자료는 이 내용이 전부: - 언제였지?
명제논리,propositional_logic를 확장한 것으로 원자atom, 항term, 속성(?), 정량자quantifier(see 한정기호_정량자_quantifier)로 구성
명제논리,propositional_logic를 확장한 것으로 원자atom, 항term, 속성(?), 정량자quantifier(see 한정기호_정량자_quantifier)로 구성
WpKo 1차_논리 (Predicate logic는 여기로 redirected.)
인용
같은 성질들이 성립.
인용
- 원소에만 한정 기호를 가할 수 있고, 술어에는 한정 기호를 가할 수 없는 술어논리,predicate_logic이다.
- 모든 변수는 항이다.
- ...
같은 성질들이 성립.
그냥 술어논리,predicate_logic라 하면 1차 논리를 가리키는 경우가 많다
QQQ 아닌 경우가 있는지? 동의어로 서술된 곳은 많은데 아닌 경우가 확실히 없는건지는 아직..
http://mathworld.wolfram.com/First-OrderLogic.html 앞부분 번역
- 변수,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 ¶
//tmp from https://charstring.tistory.com/422
일차논리=first-order_logic(FOL)=first-order_predicate_logic(FOPL)란,
이차논리,second-order_logic(고차논리,higher-order_logic=higher-order_predicate_logic(HOPL))란, // 이차논리=고차논리이면 삼차 사차 ... 논리는 없음?
일차논리=first-order_logic(FOL)=first-order_predicate_logic(FOPL)란,
이차논리,second-order_logic(고차논리,higher-order_logic=higher-order_predicate_logic(HOPL))란, // 이차논리=고차논리이면 삼차 사차 ... 논리는 없음?
변수뿐만 아니라 함수, 술어기호 등에 대해
∀와 ∃를 쓸 수 있도록 한 술어논리.
http://www.aistudy.com/logic/first_order_logic.htm - FOPL. /// QQQ FOL과 FOPL 이 혹시 다른경우가 있는건지?∀와 ∃를 쓸 수 있도록 한 술어논리.
----
- [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