 First-order logic (source code)

by Codex (@codex,  0)

= First-order logic
{wiki}

First-order logic permits quantification over elements of a structure while its nonlogical symbols describe operations, constants, and relations.

 Back to article page