Lukas' Notes

Tag: first-order-logic

64 items with this tag.

Jun 02, 2026

Tarski Semantics (First-Order Logic)

first-order-logic

Jun 02, 2026

Variable Assignment (First-Order Logic)

first-order-logic

Jun 02, 2026

Variable

first-order-logic

Jun 02, 2026

Valid Formula (First-Order Logic)

first-order-logic

Jun 02, 2026

Unsatisfiable Formula (First-Order Logic)

first-order-logic

Jun 02, 2026

Universal Quantifier (First-Order Tableaux)

first-order-logic
tableaux

Jun 02, 2026

Universal Quantifier

first-order-logic

Jun 02, 2026

Universe (First-Order Logic)

first-order-logic

Jun 02, 2026

Theory (First-Order Logic)

first-order-logic

Jun 02, 2026

Theory Entailment (First-Order Logic)

first-order-logic

Jun 02, 2026

Term (First-Order Logic)

first-order-logic

Jun 02, 2026

Tableaux (First-Order Logic)

first-order-logic

Jun 02, 2026

Syntax (First-Order Logic)

first-order-logic

Jun 02, 2026

Structure (First-Order Logic)

first-order-logic

Jun 02, 2026

Subformula (First-Order Logic)

first-order-logic

Jun 02, 2026

Signature (First-Order Logic)

first-order-logic

Jun 02, 2026

Sentence (First-Order Logic)

first-order-logic

Jun 02, 2026

Satisfaction (First-Order Logic)

first-order-logic

Jun 02, 2026

Satisfiable Formula (First-Order Logic)

first-order-logic

Jun 02, 2026

Satisfiable Sentence (First-Order Logic)

first-order-logic

Jun 02, 2026

Resolution (First-Order Logic)

first-order-logic

Jun 02, 2026

Refutation (First-Order Resolution)

first-order-logic
resolution

Jun 02, 2026

Proper Subformula (First-Order Logic)

first-order-logic

Jun 02, 2026

Prenex Normal Form (First-Order Logic)

first-order-logic

Jun 02, 2026

Predicate (First-Order Logic)

first-order-logic

Jun 02, 2026

Predicate Symbol (First-Order Logic)

first-order-logic

Jun 02, 2026

Open Branch (First-Order Tableaux)

first-order-logic
tableaux

Jun 02, 2026

Open Tableaux (First-Order Logic)

first-order-logic
tableaux

Jun 02, 2026

Negation (First-Order Tableaux)

first-order-logic
tableaux

Jun 02, 2026

Negation Normal Form (First-Order Logic)

first-order-logic

Jun 02, 2026

Models of a Theory (First-Order Logic)

first-order-logic

Jun 02, 2026

Model (First-Order Logic)

first-order-logic

Jun 02, 2026

Interpretation (First-Order Logic)

first-order-logic

Jun 02, 2026

Implication (First-Order Tableaux)

first-order-logic
tableaux

Jun 02, 2026

Herbrand Interpretation (First-Order Logic)

first-order-logic

Jun 02, 2026

Herbrand Semantics (First-Order Logic)

first-order-logic

Jun 02, 2026

Herbrand Structure (First-Order Logic)

first-order-logic

Jun 02, 2026

Herbrand Universe (First-Order Logic)

first-order-logic

Jun 02, 2026

Ground Atom (First-Order Logic)

first-order-logic

Jun 02, 2026

Ground Formula (First-Order Logic)

first-order-logic

Jun 02, 2026

Ground Term (First-Order Logic)

first-order-logic

Jun 02, 2026

Function Symbol (First-Order Logic)

logic
first-order-logic

Jun 02, 2026

Free Variable (First-Order Logic)

first-order-logic

Jun 02, 2026

Function (First-Order Logic)

first-order-logic

Jun 02, 2026

Formula (First-Order Logic)

first-order-logic

Jun 02, 2026

First-Order Logic

logic
first-order-logic

Jun 02, 2026

Existential Quantifier (First-Order Tableaux)

first-order-logic
tableaux

Jun 02, 2026

Existential Quantifier

first-order-logic

Jun 02, 2026

Equivalence (First-Order Tableaux)

first-order-logic
tableaux

Jun 02, 2026

Equivalent Formula (First-Order Logic)

first-order-logic

Jun 02, 2026

Entailment (First-Order Logic)

first-order-logic

Jun 02, 2026

Disjunction (First-Order Tableaux)

first-order-logic
tableaux

Jun 02, 2026

Disjunctive Normal Form (First-Order Logic)

first-order-logic

Jun 02, 2026

Consistent Theory (First-Order Logic)

first-order-logic

Jun 02, 2026

Constant (First-Order Logic)

logic
first-order-logic

Jun 02, 2026

Conjunction (First-Order Tableaux)

first-order-logic
tableaux

Jun 02, 2026

Conjunctive Normal Form (First-Order Logic)

first-order-logic

Jun 02, 2026

Consequences of a Theory (First-Order Logic)

first-order-logic

Jun 02, 2026

Complete Branch (First-Order Logic)

first-order-logic
tableaux

Jun 02, 2026

Complete Tableaux (First-Order Logic)

first-order-logic
tableaux

Jun 02, 2026

Coincidence Lemma (First-Order Logic)

first-order-logic

Jun 02, 2026

Closed Branch (First-Order Tableaux)

first-order-logic
tableaux

Jun 02, 2026

Closed Tableaux (First-Order Logic)

first-order-logic
tableaux

Jun 02, 2026

Bound Variable (First-Order Logic)

first-order-logic

Page 1 of 7

Created with Quartz v4.5.2 © 2026

GitHub