check-well-formed
Validate logical statement syntax to catch errors before reasoning operations, ensuring formulas follow first-order logic rules for predicates, quantifiers, and operators.
Instructions
Check if logical statements are well-formed with detailed syntax validation.
When to use: Before calling prove/find-model to catch syntax errors early. When NOT to use: You already know the formula syntax is correct.
Example: statements: ["all x (P(x) -> Q(x))"] → Returns: { valid: true, statements: [...] }
Common syntax issues:
Use lowercase for predicates/functions: man(x), not Man(x)
Quantifiers: "all x (...)" or "exists x (...)"
Operators: -> (implies), & (and), | (or), - (not), <-> (iff)
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| statements | Yes | Logical statements to check | |
| verbosity | No | Response verbosity: 'minimal' (token-efficient), 'standard' (default), 'detailed' (debug info) |