find-counterexample
Find logical counterexamples by identifying models where premises are true but the conclusion is false, proving the conclusion doesn't logically follow from given premises.
Instructions
Find a counterexample showing the conclusion doesn't follow from premises.
When to use: You suspect a conclusion doesn't logically follow and want proof. When NOT to use: You want to prove the conclusion (use prove instead).
Example: premises: ["P(a)"] conclusion: "P(b)" → Returns counterexample where P(a)=true but P(b)=false
How it works: Searches for a model satisfying premises ∧ ¬conclusion. If found, proves the conclusion doesn't logically follow.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| premises | Yes | List of logical premises | |
| conclusion | Yes | Conclusion to disprove | |
| domain_size | No | Specific domain size to search | |
| max_domain_size | No | Maximum domain size to try (default: 10) | |
| verbosity | No | Response verbosity: 'minimal' (token-efficient), 'standard' (default), 'detailed' (debug info) |