First-order logic parser
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. Or choose from one of the presets.
Predicates:
Infix Predicates:
Functions:
Constants:
Generate
Preset:
Go
Click on an error to underline the context.
test
ing
foo