First-order logic

ID: first-order-logic

First-order logic by Ciro Santilli 37 Updated +Created
Builds on top of propositional logic, adding notably existential quantification.
First-order logic by Wikipedia Bot 0
First-order logic (FOL), also known as predicate logic or first-order predicate logic, is a formal system used in mathematical logic, philosophy, linguistics, and computer science to express statements about objects and their relationships. It expands upon propositional logic by introducing quantifiers and predicates, allowing for a more expressive representation of logical statements.

New to topics? Read the docs here!