formal-logic-analysis
Apply propositional, predicate, and modal logic systems to formalize arguments, construct proofs, and evaluate validity using symbolic notation and truth tables
Profile →npx skills add a5c-ai/babysitter --skill formal-logic-analysis --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.
# Formal Logic Analysis Skill Apply formal logic systems to analyze, formalize, and evaluate arguments with rigorous symbolic methods. ## Overview The Formal Logic Analysis skill enables systematic application of propositional, predicate, and modal logic systems to formalize arguments, construct proofs, evaluate validity, and assess soundness using symbolic notation, truth tables, and proof procedures. ## Capabilities ### Propositional Logic - Translate natural language arguments into propositional form - Construct truth tables for validity assessment - Apply natural deduction rules - Identify logical equivalences and tautologies - Evaluate argument validity through truth-functional analysis ### Predicate Logic - Formalize arguments with quantifiers and predicates - Apply universal and existential instantiation/generalization - Construct formal proofs in first-order logic - Analyze logical relations and inferences - Handle multiple quantification and scope issues ### Modal Logic - Apply necessity and possibility operators - Analyze arguments involving modality - Work with different modal systems (K, T, S4, S5) - Evaluate modal validity - Apply modal logic to philosophical arguments
- Overview
- Capabilities
- Propositional Logic
- Predicate Logic
- Modal Logic
- Proof Construction
- Usage Guidelines
- When to Use
- Best Practices
- Integration Points
- References
What does the formal-logic-analysis skill do?
Apply propositional, predicate, and modal logic systems to formalize arguments, construct proofs, and evaluate validity using symbolic notation and truth tables
How do I install it?
Run `npx skills add a5c-ai/babysitter --skill formal-logic-analysis --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 a5c-ai/babysitter, a repository with 1,642 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.