Lukas' Notes

Search titles, aliases and note text. Use # for tags.

Tag: propositional-logic

107 items with this tag.

2-SAT4 Algorithm by Literal Enumeration

propositional-logic
polynomial-time-algorithms
turing-reductions

2-SAT4 Satisfiability Decision Problem

complexity-theory
propositional-logic

3-Horn Satisfiability Decision Problem

complexity-theory
propositional-logic

3-SAT to 3-Horn SAT (Karp Reduction)

complexity-theory
reductions
propositional-logic

Absorption (Propositional Logic)

propositional-logic

Associativity (Propositional Logic)

propositional-logic

Atom (Propositional Logic)

propositional-logic

Biconditional Characterization of Equivalence (Propositional Logic)

propositional-logic

Clausal Normal Form (Propositional Formula)

logic
propositional-logic

Clause (Propositional Logic)

propositional-logic

Commutativity (Propositional Logic)

propositional-logic

Conflict-Driven Clause Learning

propositional-logic
sat-solving

Conjunction Elimination Inference Rule (Propositional Hilbert Calculus)

propositional-logic
hilbert-calculus
proof-theory

Conjunction Introduction Inference Rule (Propositional Hilbert Calculus)

propositional-logic
hilbert-calculus
proof-theory

Conjunctive Normal Form (Propositional Logic)

propositional-logic

Consistent Theory (Propositional Hilbert Calculus)

propositional-logic
hilbert-calculus
proof-theory

Contradiction (Propositional Logic)

propositional-logic

Contradiction Characterization of Equivalence (Propositional Logic)

propositional-logic

Countermodel (Propositional Logic)

propositional-logic

Davis–Putnam–Logemann–Loveland Algorithm (Propositional Logic)

propositional-logic
sat-solving

Deductive Closure (Propositional Hilbert Calculus)

propositional-logic
hilbert-calculus
proof-theory

Derivable Formula (Propositional Hilbert Calculus)

propositional-logic
hilbert-calculus
proof-theory

Derivation (Propositional Hilbert Calculus)

propositional-logic
hilbert-calculus
proof-theory

Derivation (Propositional Resolution)

propositional-logic
resolution
proof-theory

Destructive Dilemma (Propositional Logic)

propositional-logic
proof-theory

Disjunction Elimination Inference Rule (Propositional Hilbert Calculus)

propositional-logic
hilbert-calculus
proof-theory

Disjunction Introduction Inference Rule (Propositional Hilbert Calculus)

propositional-logic
hilbert-calculus
proof-theory

Disjunctive Normal Form (Propositional Logic)

propositional-logic

Distributivity (Propositional Logic)

propositional-logic

Double Negation Elimination Inference Rule (Propositional Hilbert Calculus)

propositional-logic
hilbert-calculus
proof-theory

Empty Clause

propositional-logic

Entailment (Propositional Logic)

propositional-logic

Entailment–Unsatisfiability Duality (Propositional Logic)

propositional-logic

Equisatisfiable Formula (Propositional Logic)

propositional-logic

Equivalent Formula (Propositional Logic)

propositional-logic

Equivalent Replacement (Propositional Logic)

logic
propositional-logic

Extensivity of Deductive Closure (Propositional Hilbert Calculus)

propositional-logic
hilbert-calculus
proof-theory

Factoring Inference Rule (Propositional Resolution)

propositional-logic

Finitely Satisfiable Formula Set (Propositional Logic)

propositional-logic

Formula (Propositional Logic)

logic
propositional-logic

Formula Set (Propositional Logic)

propositional-logic

Functional Completeness (Propositional Logic)

logic
propositional-logic

Hilbert Calculus (Propositional Logic)

propositional-logic
hilbert-calculus

Horn Clause (Propositional Logic)

propositional-logic

Idempotence (Propositional Logic)

propositional-logic

Idempotence of Deductive Closure (Propositional Hilbert Calculus)

propositional-logic
hilbert-calculus
proof-theory

Implication Elimination Inference Rule (Propositional Hilbert Calculus)

propositional-logic
hilbert-calculus
proof-theory

Implication Introduction Inference Rule (Propositional Hilbert Calculus)

propositional-logic
hilbert-calculus
proof-theory

Incidence Graph (Propositional Logic)

graph-theory
propositional-logic
sat-solving

Interpretation (Propositional Logic)

propositional-logic

Law of Excluded Middle (Propositional Logic)

propositional-logic

Literal (Propositional Logic)

propositional-logic

MaxE3SAT to Max2SAT (Linear Reduction)

approximation-algorithms
reductions
propositional-logic

Maximum 2-SAT Optimisation Problem

propositional-logic
combinatorial-optimisation

Maximum 3-SAT Optimisation Problem

propositional-logic
combinatorial-optimisation

Maximum Exact-3-SAT Optimisation Problem

propositional-logic
combinatorial-optimisation

Maximum Exact-4-SAT Optimisation Problem

propositional-logic
combinatorial-optimisation

Model (Propositional Logic)

propositional-logic

Model Characterisation of Equivalence (Propositional Logic)

propositional-logic

Modus Ponens (Propositional Logic)

propositional-logic

Monotonic Replacement (Propositional Logic)

logic
propositional-logic

Monotonicity of Deductive Closure (Propositional Hilbert Calculus)

propositional-logic
hilbert-calculus
proof-theory

Monotonicity of Entailment (Propositional Logic)

propositional-logic

Naming

logic
propositional-logic

Negation Introduction Inference Rule (Propositional Hilbert Calculus)

propositional-logic
hilbert-calculus
proof-theory

Negative Literal (Propositional Logic)

propositional-logic

Negative Monotonic Replacement (Propositional Logic)

propositional-logic

Non-empty Clause

propositional-logic

Normal Form Existence (Propositional Logic)

propositional-logic

Positive Literal (Propositional Logic)

propositional-logic

Positive Monotonic Replacement (Propositional Logic)

propositional-logic

Proof (Propositional Hilbert Calculus)

propositional-logic
hilbert-calculus
proof-theory

Proper Subformula (Propositional Logic)

propositional-logic

Propositional Logic

logic
propositional-logic

Pure Atom (Propositional Logic)

propositional-logic

Pure Atom Property

propositional-logic

Pure Literal (Propositional Logic)

propositional-logic

Refutation (Propositional Resolution)

propositional-logic
resolution

Resolution Algorithm (Propositional Resolution)

propositional-logic

Resolution Calculus (Propositional Logic)

propositional-logic

Resolution Inference Rule (Propositional Resolution)

propositional-logic

Satisfiability as Non-Equivalence to Falsum (Propositional Logic)

propositional-logic

Satisfiable Clause (Propositional Logic)

propositional-logic

Satisfiable Formula (Propositional Logic)

propositional-logic

Satisfiable Formula Set (Propositional Logic)

propositional-logic

Satisfied Clause (Propositional Logic)

propositional-logic

Semantic Tableau (Propositional Logic)

propositional-logic

Set of Atoms

propositional-logic

Set of Clauses

propositional-logic

Splitting (Propositional Logic)

propositional-logic

Splitting Algorithm (Propositional Logic)

propositional-logic

Splitting Preserves Satisfiability, Not Equivalence

propositional-logic

Splitting Tree (Propositional Logic)

propositional-logic

Splitting with Polarities (Propositional Logic)

propositional-logic

Subformula (Propositional Logic)

propositional-logic

Tableaux (Propositional Logic)

logic
propositional-logic

Tautology (Propositional Logic)

propositional-logic

Theory (Propositional Logic)

propositional-logic

Translation Begins with Truth Conditions

propositional-logic

Tree-like Formula (Propositional Logic)

propositional-logic

Uniform Random Assignment for MaxE4SAT

randomised-algorithms
approximation-algorithms
propositional-logic

Unit Clause (Propositional Logic)

propositional-logic

Unsatisfiability–Validity Duality (Propositional Logic)

propositional-logic

Validity as Equivalence to Verum (Propositional Logic)

propositional-logic

Validity–Unsatisfiability Duality (Propositional Logic)

propositional-logic

Weak Negation Elimination Inference Rule (Propositional Hilbert Calculus)

propositional-logic
hilbert-calculus
proof-theory

Well-formed Formula (Propositional Logic)

logic
propositional-logic

Page 1 of 11

Created with Quartz v4.5.2 © 2026

GitHub