vibecosystem

Propositional Logic

When to Use

Use this skill when working on propositional-logic problems in mathematical logic.

Decision Tree

1. Identify Formula Structure
2. Classify: tautology, contradiction, or contingent?
3. Main connective: AND, OR, IMPLIES, NOT, IFF?
4. z3_solve.py sat "formula" to check satisfiability

1. Truth Table Method
2. For small formulas (<=4 variables): enumerate all valuations
3. sympy_compute.py truthtable "p & (p -> q) -> q"
4. Tautology = all T, Contradiction = all F

1. Natural Deduction
2. Apply inference rules: Modus Ponens, Modus Tollens
3. Conditional proof: assume antecedent, derive consequent
4. z3_solve.py prove "Implies(And(p, Implies(p,q)), q)"

1. Semantic Tableaux
2. Build tree by decomposing formula
3. Closed branches = contradictions
4. 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.