Lukas' Notes

Tag: tableaux

22 items with this tag.

Branch (Tableaux)

logic
tableaux

Closed Branch (First-Order Tableaux)

first-order-logic
tableaux

Closed Branch (Propositional Tableaux)

logic
tableaux

Closed Tableaux (First-Order Logic)

first-order-logic
tableaux

Complete Branch (First-Order Logic)

first-order-logic
tableaux

Complete Tableaux (First-Order Logic)

first-order-logic
tableaux

Conjunction (First-Order Tableaux)

first-order-logic
tableaux

Conjunction (Propositional Tableaux)

tableaux

Derivation (Tableaux)

tableaux

Disjunction (First-Order Tableaux)

first-order-logic
tableaux

Disjunction (Propositional Tableaux)

tableaux

Equivalence (First-Order Tableaux)

first-order-logic
tableaux

Equivalence (Propositional Tableaux)

tableaux

Existential Quantifier (First-Order Tableaux)

first-order-logic
tableaux

Implication (First-Order Tableaux)

first-order-logic
tableaux

Implication (Propositional Tableaux)

tableaux

Negation (First-Order Tableaux)

first-order-logic
tableaux

Negation (Propositional Tableaux)

tableaux

Open Branch (First-Order Tableaux)

first-order-logic
tableaux

Open Branch (Propositional Tableaux)

logic
tableaux

Open Tableaux (First-Order Logic)

first-order-logic
tableaux

Universal Quantifier (First-Order Tableaux)

first-order-logic
tableaux

Page 1 of 3

Created with Quartz v4.5.2 © 2026

GitHub