Predicate Logic

Predicate Calculus, First-order logic

함수 논리 / 양화 논리, 술어 계산으로 형식화한 것으로 프레게의 초기 술어 논리가 발전한 것이다. 명제에 존재하는 주어 술어 구조로부터 주어가 될 수 있는 대상에 대해 한정 기호를 사용하는 논리이다. 따라서 명제 논리와는 달리 명제의 내부 구조 분석에 의한 추론 규칙을 다룰 수 있고 명제논리에서는 명제가 최소 단위이므로 명제의 내부구조에 대한 분석은 이루어질 수 없다. 술어 논리는 유럽의 고틀로프 프레게와 미국의 찰스 샌더스 퍼스에 의해 각각 독자적으로 창안되었다.

Predicate logic Notion

Predicate Logic Theorems

Compactness Theorem

Lindström’s theorem

Löwenheim–Skolem theorem

en.wikipedia.org

https://en.wikipedia.org/wiki/List_of_logic_symbols

First-order logic

First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over non-logical objects, and allows the use of sentences that contain variables, so that rather than propositions such as "Socrates is a man", one can have expressions in the form "there exists x such that x is Socrates and x is a man", where "there exists" is a quantifier, while x is a variable.[1] This distinguishes it from propositional logic, which does not use quantifiers or relations;[2] in this sense, propositional logic is the foundation of first-order logic.

https://en.wikipedia.org/wiki/First-order_logic

Predicate Logic

Predicate Calculus, First-order logic

Recommendations