generate truth tables for compound propositions
Propositional Logic
Propositional logic with types in Rust
propositional logic evaluator that creates truth tables for propositional expressions
Recognize a logic proposition and trace its truth value, also generate a truth table (still in development)
Proves sentences of propositional calculus
Logic engine for making, modifying, and evaluating expressions from sentential (propositional) logic. Support for predicate logic will be added later.
A crate dedicated to proposition building logic, providing mathematical lexers and language properties for defining logical languages
Propositional logic with exponentials
A logic SAT solver
foras is a First-Order Reasoner which uses the principles of predicate logic to derive new facts, verify statements, and prove theorems from an existing knowledge base.
propositional logic