Agent Skills: formal-logic-analysis

Apply propositional, predicate, and modal logic systems to formalize arguments, construct proofs, and evaluate validity using symbolic notation and truth tables

UncategorizedID: a5c-ai/babysitter/formal-logic-analysis

Install this agent skill to your local

pnpm dlx add-skill https://github.com/a5c-ai/babysitter/formal-logic-analysis

Skill Files

Browse the full folder contents for formal-logic-analysis.

Download Skill

Loading file tree…

Select a file to preview its contents.