First-order logic syntax checker

Help

Show custom symbol input

Help

Show custom symbol input

Enter any predicates, functions, or constants which should be defined, along with the number of arguments each predicate or function should take (e.g. "Happy 1" or "Loves 2"). The click "Generate". Or choose from one of the presets.
Generate

Preset:
Predicates:

Infix Predicates:

Functions:

Constants:

Infix Predicates:

Functions:

Constants:

Predicates:

Infix Predicates:

Functions:

Constants:

Infix Predicates:

Functions:

Constants:

Click on an error to underline the context.