Lukas' Notes
Search
Search
Dark mode
Light mode
Truth
May 01, 2026
1 min read
logic
Graph View
Backlinks
Atom
Closed Branch (Tableaux)
Conjunction
Davis–Putnam–Logemann–Loveland Algorithm
Disjunction
Entailment
Equivalence
Equivalent Replacement (Propositional Logic)
Fallacy
First-Order Logic
Implication
Interpretation (Propositional Logic)
Invalid Argument
Modus Ponens
Monotonic Replacement (Propositional Logic)
Mutual Entailment
NAND
Natural Deduction
Negation
Polarity of Propositional Subformulas
Propositional Resolution Calculus
Pure Atom Property
Satisfiability Problem
Semantic
Splitting Algorithm
Tableaux
Unit Propagation
Valid Argument