predicate-logic
Problem-solving strategies for predicate logic in mathematical logic
Profile →npx skills add parcadei/Continuous-Claude-v3 --skill predicate-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.
# Predicate Logic ## When to Use Use this skill when working on predicate-logic problems in mathematical logic. ## Decision Tree 1. **Quantifier Analysis** - Identify: ForAll (universal), Exists (existential) - Scope of quantifiers and free/bound variables - `z3_solve.py prove "ForAll([x], P(x)) implies P(a)"` 2. **Prenex Normal Form** - Move all quantifiers to front - Standardize variables to avoid capture - `sympy_compute.py simplify "prenex(formula)"` 3. **Skolemization (for Exists)** - Replace existential quantifiers with Skolem functions - Exists x. P(x) -> P(c) or P(f(y)) depending on scope - Needed for resolution-based proofs 4. **Resolution Proof** - Convert to CNF, negate conclusion - Apply resolution rule until empty clause or saturation - `z3_solve.py prove "resolution_valid"` 5. **Model Theory** - Construct countermodel to refute invalid argument - Finite model for finite domain - `z3_solve.py model "Exists([x], P(x) & Not(Q(x)))"` ## Tool Commands ### Z3_Forall ```bash uv run python -m runtime.harness scripts/z3_solve.py prove "ForAll([x], Implies(P(x), Q(x)))" ``` ### Z3_Exists ```bash uv run python -m runtime.harness scripts/z3_solve.py sat "Exists([x], And(P(x), Not
- When to Use
- Decision Tree
- Tool Commands
- Z3Forall
- Z3Exists
- Z3UniversalInstantiation
- Z3Model
- Cognitive Tools Reference
uv run python -m runtime.harness scripts/z3_solve.py prove "ForAll([x], Implies(P(x), Q(x)))" uv run python -m runtime.harness scripts/z3_solve.py sat "Exists([x], And(P(x), Not(Q(x))))" uv run python -m runtime.harness scripts/z3_solve.py prove "Implies(ForAll([x], P(x)), P(a))" uv run python -m runtime.harness scripts/z3_solve.py model "Exists([x], P(x))"
What does the predicate-logic skill do?
Problem-solving strategies for predicate logic in mathematical logic
How do I install it?
Run `npx skills add parcadei/Continuous-Claude-v3 --skill predicate-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.