제로 순서 논리

Zeroth-order logic

제로 순서 논리란 변수나 정량자가 없는 1차 순서 논리다. 일부 저자들은 명제 미적분학의 동의어로 "zeroth-order logic"이라는 문구를 사용하지만,[1] 대안적 정의는 부울이 아닌 값에 대한 상수, 연산, 관계를 추가함으로써 명제 논리를 확장한다.[2] 이 넓은 의미의 모든 제로 주문 언어는 완전하고 간결하다.[2]

참조

  1. ^ Andrews, Peter B. (2002), An introduction to mathematical logic and type theory: to truth through proof, Applied Logic Series, vol. 27 (Second ed.), Kluwer Academic Publishers, Dordrecht, p. 201, doi:10.1007/978-94-015-9934-4, ISBN 1-4020-0763-9, MR 1932484.
  2. ^ a b Tao, Terence (2010), "1.4.2 Zeroth-order logic", An epsilon of room, II, American Mathematical Society, Providence, RI, pp. 27–31, doi:10.1090/gsm/117, ISBN 978-0-8218-5280-4, MR 2780010.