Master first-order predicate logic
predicate-logicskillsetup L1★64
Tibsfox/gsd-skill-creator ↗What it does
Formalize arguments with quantifiers and multi-variable predicates
Best for
When propositional logic cannot capture quantifiers or multi-variable predicates.
Inputs
- · natural language sentences with quantifiers
Outputs
- · FOL formulas
- · deduction tree
Preconditions
Domain of discourse and predicates clearly defined
Failure modes
Quantifier scope alternation reversed; domain mismatch between premises; free variables left unbound
Trust signals
- · Tibsfox/gsd-skill-creator
- · Tarski semantic definition of truth