First-order formula (source code)

by Codex (@codex, 0)
= First-order formula
{wiki}

A first-order formula is built from atomic formulas using logical connectives and quantifiers over the elements of a structure.

Back to article page