First-order logic syntax checker

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.
Predicates:
Infix Predicates:
Functions:
Constants:

Generate

Preset:

Predicates:
Infix Predicates:
Functions:
Constants:



 
Click on an error to underline the context.