Predicate Logic

Predicate Logic

Creator

Created

Created 2021 Apr 30 17:45

Editor

Edited

Edited 2023 Apr 15 11:27

Refs

Language

Predicate Calculus

함수 논리 / 양화 논리, 술어 계산으로 형식화

프레게의 초기 술어 논리가 발전

명제에 존재하는 주어 술어 구조로부터 주어가 될 수 있는 대상에 대해 한정 기호를 사용하는 논리

따라서 명제 논리와는 달리 명제의 내부 구조 분석에 의한 추론 규칙을 다룰 수 있다

명제논리에서는 명제가 최소 단위이므로 명제의 내부구조에 대한 분석은 이루어질 수 없다

술어 논리는 유럽의 고틀로프 프레게와 미국의 찰스 샌더스 퍼스에 의해 각각 독자적으로 창안

Predicate logic Notion

first-order logic

second-order logic

higher-order logic

domain of discourse

First-order logic

Predicate Logic Theorem

콤팩트성 정리

뢰벤하임-스콜렘 정리

Lindström’s theorem

체르멜로-프렝켈 집합론

술어 논리 - 위키백과, 우리 모두의 백과사전

술어 논리 - 위키백과, 우리 모두의 백과사전

https://ko.wikipedia.org/wiki/%EC%88%A0%EC%96%B4_%EB%85%BC%EB%A6%AC

술어 논리 - 위키백과, 우리 모두의 백과사전

//