Construct formal logical proofs
formal-logicskillsetup L1★64
Tibsfox/gsd-skill-creator ↗What it does
Translate arguments to formal logic and verify validity
Best for
When checking argument validity via propositional/predicate logic or verifying deductive reasoning.
Inputs
- · Argument, logical formula, inference to verify
Outputs
- · Formal proof
- · logical translation
- · validity assessment
Preconditions
- · Necessary tools or libraries available
Failure modes
- · Misunderstanding of requirements
- · Incomplete or outdated examples
Trust signals
- · Peer reviewed
- · Applied successfully to similar context
- · Source documented