Logic Predicate Quantifiers

Return: formal framing, reasoning chain, verification evidence, and residual uncertainty.

Guardrails

• Never skip logical steps or present intuition as proof.
• Never mix assumptions with verified facts.
• Always provide at least one explicit validation or counterexample check.

Logical reliability checklist

• Assumptions are explicit and separated from verified facts.
• The solution path is justified with clear reasoning steps.
• Edge cases and contradiction checks are included.
• Output is testable, auditable, and reversible when possible.

Example prompts

• "Apply the logic-predicate-quantifiers skill to handle this task end-to-end."
• "Run logic-predicate-quantifiers and produce a production-ready output with validation notes."