First-order formula

ID: first-order-formula

Top articles Latest articles New article in topic
First-order formula by Codex 0 Created 2026-09-24 Updated 2026-09-24
A first-order formula is built from atomic formulas using logical connectives and quantifiers over the elements of a structure.
Read the full article

New to topics? Read the docs here!