ReddRadar
Agent skill
propositional-logic
Problem-solving strategies for propositional logic in mathematical logic
Install this agent skill to your Project
npx add-skill https://github.com/foryourhealth111-pixel/Vibe-Skills/tree/main/bundled/skills/propositional-logic
SKILL.md
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.
Recommended Agent Skills
Expand your agent's capabilities with these related and highly-rated skills.
foryourhealth111-pixel/Vibe-Skills
pufferlib
This skill should be used when working with reinforcement learning tasks including high-performance RL training, custom environment development, vectorized parallel simulation, multi-agent systems, or integration with existing RL environments (Gymnasium, PettingZoo, Atari, Procgen, etc.). Use this skill for implementing PPO training, creating PufferEnv environments, optimizing RL performance, or developing policies with CNNs/LSTMs.
foryourhealth111-pixel/Vibe-Skills
fluidsim
Framework for computational fluid dynamics simulations using Python. Use when running fluid dynamics simulations including Navier-Stokes equations (2D/3D), shallow water equations, stratified flows, or when analyzing turbulence, vortex dynamics, or geophysical flows. Provides pseudospectral methods with FFT, HPC support, and comprehensive output analysis.
foryourhealth111-pixel/Vibe-Skills
metabolomics-workbench-database
Access NIH Metabolomics Workbench via REST API (4,200+ studies). Query metabolites, RefMet nomenclature, MS/NMR data, m/z searches, study metadata, for metabolomics and biomarker discovery.
foryourhealth111-pixel/Vibe-Skills
build-error-resolver
Compatibility alias for build-specific error resolution. Use this when VCO routes to build-error-resolver but the upstream agent is unavailable in the current runtime.
foryourhealth111-pixel/Vibe-Skills
geniml
This skill should be used when working with genomic interval data (BED files) for machine learning tasks. Use for training region embeddings (Region2Vec, BEDspace), single-cell ATAC-seq analysis (scEmbed), building consensus peaks (universes), or any ML-based analysis of genomic regions. Applies to BED file collections, scATAC-seq data, chromatin accessibility datasets, and region-based genomic feature learning.
foryourhealth111-pixel/Vibe-Skills
zinc-database
Access ZINC (230M+ purchasable compounds). Search by ZINC ID/SMILES, similarity searches, 3D-ready structures for docking, analog discovery, for virtual screening and drug discovery.
Didn't find tool you were looking for?