Lukas' Notes
Search
Search
Dark mode
Light mode
Tag: propositional-logic
24 items with this tag.
Jun 02, 2026
Well-formed Propositional Formula
logic
propositional-logic
Jun 02, 2026
Tableaux (Propositional Logic)
logic
propositional-logic
Jun 02, 2026
Subformula (Propositional Logic)
propositional-logic
Jun 02, 2026
Set of Atoms
propositional-logic
Jun 02, 2026
Set of Clauses
propositional-logic
Jun 02, 2026
Satisfiable Formula (Propositional Logic)
propositional-logic
Jun 02, 2026
Resolution Algorithm (Propositional Resolution)
propositional-logic
Jun 02, 2026
Resolution Calculus (Propositional Logic)
propositional-logic
Jun 02, 2026
Resolution Inference Rule (Propositional Resolution)
propositional-logic
Jun 02, 2026
Refutation (Propositional Resolution)
propositional-logic
resolution
Jun 02, 2026
Pure Atom Property
propositional-logic
Jun 02, 2026
Pure Atom
propositional-logic
Jun 02, 2026
Propositional Logic
logic
propositional-logic
Jun 02, 2026
Naming
logic
propositional-logic
Jun 02, 2026
Monotonic Replacement (Propositional Logic)
logic
propositional-logic
Jun 02, 2026
Model (Propositional Logic)
propositional-logic
Jun 02, 2026
Interpretation (Propositional Logic)
propositional-logic
Jun 02, 2026
Functional Completeness (Propositional Logic)
logic
propositional-logic
Jun 02, 2026
Factoring Inference Rule (Propositional Resolution)
propositional-logic
Jun 02, 2026
Equivalent Replacement (Propositional Logic)
logic
propositional-logic
Jun 02, 2026
Derivation (Propositional Resolution)
propositional-logic
resolution
proof-theory
Jun 02, 2026
Davis–Putnam–Logemann–Loveland Algorithm
propositional-logic
sat-solving
Jun 02, 2026
Contradiction (Propositional Logic)
propositional-logic
Jun 02, 2026
Clausal Normal Form (Propositional Formula)
logic
propositional-logic
1
2
3
Page 1 of 3