Tag: propositional-logic

21 items with this tag.

May 01, 2026
Well-formed Propositional Formula
- logic
- propositional-logic
May 01, 2026
Tableaux
- logic
- propositional-logic
May 01, 2026
Set of Atoms
- propositional-logic
May 01, 2026
Set of Clauses
- propositional-logic
May 01, 2026
Resolution Inference Rule (Propositional Resolution)
- propositional-logic
May 01, 2026
Resolution Algorithm (Propositional Resolution)
- propositional-logic
May 01, 2026
Refutation (Propositional Resolution)
May 01, 2026
Pure Atom
- propositional-logic
May 01, 2026
Pure Atom Property
- propositional-logic
May 01, 2026
Propositional Factoring Inference Rule
- propositional-logic
May 01, 2026
Propositional Logic
- logic
- propositional-logic
May 01, 2026
Propositional Resolution Calculus
- propositional-logic
May 01, 2026
Propositional Subformula
- propositional-logic
May 01, 2026
Naming
- logic
- propositional-logic
May 01, 2026
Monotonic Replacement (Propositional Logic)
- logic
- propositional-logic
May 01, 2026
Interpretation (Propositional Logic)
- propositional-logic
May 01, 2026
Functional Completeness (Propositional Logic)
- logic
- propositional-logic
May 01, 2026
Equivalent Replacement (Propositional Logic)
- logic
- propositional-logic
May 01, 2026
Derivation (Propositional Resolution)
May 01, 2026
Davis–Putnam–Logemann–Loveland Algorithm
- propositional-logic
- sat-solving
May 01, 2026
Clausal Normal Form (Propositional Formula)
- logic
- propositional-logic