propositional-logic
CommunitySolve propositional logic problems.
Authorscooter-lacroix
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill provides strategies and tools to solve problems within propositional logic, a fundamental area of mathematical logic.
Core Features & Use Cases
- Formula Classification: Determine if a formula is a tautology, contradiction, or contingent.
- Satisfiability Checking: Verify if a given logical formula can be true.
- Proof Assistance: Utilize methods like Natural Deduction and Semantic Tableaux.
- Use Case: You are given a complex logical statement and need to prove its validity or determine if it's always true.
Quick Start
Use the propositional-logic skill to check if the formula 'p & (p -> q) -> q' is a tautology.
Dependency Matrix
Required Modules
z3-solversympy
Components
scriptsreferences
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: propositional-logic Download link: https://github.com/scooter-lacroix/Maestro/archive/main.zip#propositional-logic Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.