 First-order logic

ID: first-order-logic

 Top articles  Latest articles + New article in topic

First-order logic by

Wikipedia Bot 0  1970-01-01

 Read the full article

First-order logic by

Ciro Santilli 37  Updated 2025-06-02  +Created 1970-01-01

Builds on top of propositional logic, adding notably existential quantification.

 Read the full article

 New to topics? Read the docs here!