Loading skill
Install any skill in seconds. Free to start, no credit card required.
Get Started Free →vibeeval/propositional-logic
Problem-solving strategies for propositional logic in mathematical logic
Passed 19 of 21 test cases with the skill, and 17 of 21 without it.
and 1 more in the full report
3 fixed17 passed either way1 still failing1 broke
Tokens, turns and time describe resource use, not a dollar price.
One of 3 test cases the skill fixed. Same model, same prompt, with and without the skill.
I need to compute a complete truth table for the formula `p & (p >> q) >> q` using the logic computation script harness. What CLI command line should be executed?
| Checked | Without skill | With skill |
|---|---|---|
| uses sympy_compute.py with the truthtable subcommand | Missed | Passed |
The instructions your model reads when the skill loads.
Use this skill when working on propositional-logic problems in mathematical logic.
Identify Formula Structure
z3_solve.py sat "formula" to check satisfiabilityTruth Table Method
sympy_compute.py truthtable "p & (p -> q) -> q"Natural Deduction
z3_solve.py prove "Implies(And(p, Implies(p,q)), q)"Semantic Tableaux
uv run python -m runtime.harness scripts/z3_solve.py sat "And(p, Implies(p, q), Not(q))"
uv run python -m runtime.harness scripts/z3_solve.py prove "Implies(And(p, Implies(p, q)), q)"
test cases passed, vs 17 / 21 without
Published skills whose descriptions closely match this one, with their headline benchmark lift.
More skills from the same source and nearby in the registry, with their headline benchmark lift.