Master propositional logic and truth tables
propositional-logicskillsetup L1★64
Tibsfox/gsd-skill-creator ↗What it does
Verify propositional argument validity via truth tables
Best for
When formalizing and mechanically checking validity of propositional arguments.
Inputs
- · propositional formulas
- · truth assignments
Outputs
- · truth table
- · validity verdict
Preconditions
Propositions identified; truth table computable
Failure modes
Truth table explosion for large formulas; SAT solver timeout; equivalence checking intractable
Trust signals
- · Tibsfox/gsd-skill-creator
- · SAT solver and normal form coverage