Propositional logic
Skill parcadei/Continuous-Claude-v3/.claude/skills/math/mathematical-logic/propositional-logic
Problem-solving strategies for propositional logic in mathematical logicFrom its SKILL.md
npx -y skills add parcadei/Continuous-Claude-v3 --skill propositional-logicAssembled from the repository path, not quoted from the project. Check it against their README if it does not work.
SKILL.md
1.6 KB, 429 tokens by cl100k_base, as published. Nobody here has run it
Propositional Logic
When to Use
Use this skill when working on propositional-logic problems in mathematical logic.
Decision Tree
-
Identify Formula Structure
- Classify: tautology, contradiction, or contingent?
- Main connective: AND, OR, IMPLIES, NOT, IFF?
z3_solve.py sat "formula"to check satisfiability
-
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
-
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)"
-
Semantic Tableaux
- Build tree by decomposing formula
- Closed branches = contradictions
- All branches closed = valid argument
Tool Commands
Z3_Sat
uv run python -m runtime.harness scripts/z3_solve.py sat "And(p, Implies(p, q), Not(q))"
Z3_Tautology
uv run python -m runtime.harness scripts/z3_solve.py prove "Implies(And(p, Implies(p, q)), q)"
Sympy_Truthtable
uv run python -m runtime.harness scripts/sympy_compute.py truthtable "p & (p >> q) >> q"
Z3_Modus_Ponens
uv run python -m runtime.harness scripts/z3_solve.py prove "Implies(And(p, Implies(p,q)), q)"
Cognitive Tools Reference
See .claude/skills/math-mode/SKILL.md for full tool documentation.
What ships with it
Read from the repository
Just SKILL.md. No reference files, no scripts.