propositional-logic
Problem-solving strategies for propositional logic in mathematical logic
Profile →npx skills add parcadei/Continuous-Claude-v3 --skill propositional-logic --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Propositional Logic ## When to Use Use this skill when working on propositional-logic problems in mathematical logic. ## Decision Tree 1. **Identify Formula Structure** - Classify: tautology, contradiction, or contingent? - Main connective: AND, OR, IMPLIES, NOT, IFF? - `z3_solve.py sat "formula"` to check satisfiability 2. **Truth Table Method** - For small formulas (<=4 variables): enumerate all valuations - `sympy_compute.py truthtable "p & (p -> q) -> q"` - Tautology = all T, Contradiction = all F 3. **Natural Deduction** - Apply inference rules: Modus Ponens, Modus Tollens - Conditional proof: assume antecedent, derive consequent - `z3_solve.py prove "Implies(And(p, Implies(p,q)), q)"` 4. **Semantic Tableaux** - Build tree by decomposing formula - Closed branches = contradictions - All branches closed = valid argument ## Tool Commands ### Z3_Sat ```bash uv run python -m runtime.harness scripts/z3_solve.py sat "And(p, Implies(p, q), Not(q))" ``` ### Z3_Tautology ```bash uv run python -m runtime.harness scripts/z3_solve.py prove "Implies(And(p, Implies(p, q)), q)" ``` ### Sympy_Truthtable ```bash uv run python -m runtime.harness scripts/sympy_compute.py truthtable "p & (p >> q
- When to Use
- Decision Tree
- Tool Commands
- Z3Sat
- Z3Tautology
- SympyTruthtable
- Z3ModusPonens
- Cognitive Tools Reference
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)" uv run python -m runtime.harness scripts/sympy_compute.py truthtable "p & (p >> q) >> q" uv run python -m runtime.harness scripts/z3_solve.py prove "Implies(And(p, Implies(p,q)), q)"
What does the propositional-logic skill do?
Problem-solving strategies for propositional logic in mathematical logic
How do I install it?
Run `npx skills add parcadei/Continuous-Claude-v3 --skill propositional-logic --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From parcadei/Continuous-Claude-v3, a repository with 3,885 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.