Lukas' Notes

Truth

Jun 02, 20261 min read

Backlinks

3-Satisfiability Problem
Atom
Closed Branch (Propositional 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
Pure Atom Property
Resolution Calculus (Propositional Logic)
Satisfiability Problem
Semantics
Splitting Algorithm
Unit Propagation
Valid Argument

Created with Quartz v4.5.2 © 2026

GitHub