Lukas' Notes

Tag: first-order-logic

69 items with this tag.

Atom (First-order Logic)

first-order-logic

Bound Variable (First-Order Logic)

first-order-logic

Closed Branch (First-Order Tableaux)

first-order-logic
tableaux

Closed Tableaux (First-Order Logic)

first-order-logic
tableaux

Coincidence Lemma (First-Order Logic)

first-order-logic

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

Conjunctive Normal Form (First-Order Logic)

first-order-logic

Consequences of a Theory (First-Order Logic)

first-order-logic

Consistent Theory (First-Order Logic)

first-order-logic

Constant (First-Order Logic)

logic
first-order-logic

Disjunction (First-Order Tableaux)

first-order-logic
tableaux

Disjunctive Normal Form (First-Order Logic)

first-order-logic

Entailment (First-Order Logic)

first-order-logic

Equivalence (First-Order Tableaux)

first-order-logic
tableaux

Equivalent Formula (First-Order Logic)

first-order-logic

Existential Quantifier

first-order-logic

Existential Quantifier (First-Order Tableaux)

first-order-logic
tableaux

First-Order Logic

logic
first-order-logic

Formula (First-Order Logic)

first-order-logic

Free Variable (First-Order Logic)

first-order-logic

Function (First-Order Logic)

first-order-logic

Function Symbol (First-Order Logic)

logic
first-order-logic

Ground Atom (First-Order Logic)

first-order-logic

Ground Formula (First-Order Logic)

first-order-logic

Ground Term (First-Order Logic)

first-order-logic

Herbrand Interpretation (First-Order Logic)

first-order-logic

Herbrand Semantics (First-Order Logic)

first-order-logic

Herbrand Structure (First-Order Logic)

first-order-logic

Herbrand Universe (First-Order Logic)

first-order-logic

Implication (First-Order Tableaux)

first-order-logic
tableaux

Interpretation (First-Order Logic)

first-order-logic

Literal (First-order Logic)

first-order-logic

Model (First-Order Logic)

first-order-logic

Models of a Theory (First-Order Logic)

first-order-logic

Negation (First-Order Tableaux)

first-order-logic
tableaux

Negation Normal Form (First-Order Logic)

first-order-logic

Open Branch (First-Order Tableaux)

first-order-logic
tableaux

Open Tableaux (First-Order Logic)

first-order-logic
tableaux

Predicate (First-Order Logic)

first-order-logic

Predicate Symbol (First-Order Logic)

first-order-logic

Prenex Normal Form (First-Order Logic)

first-order-logic

Proper Subformula (First-Order Logic)

first-order-logic

Refutation (First-Order Resolution)

first-order-logic
resolution

Resolution (First-Order Logic)

first-order-logic

Satisfaction (First-Order Logic)

first-order-logic

Satisfiability Modulo Theory

first-order-logic
satisfiability-modulo-theory

Satisfiable Formula (First-Order Logic)

first-order-logic

Satisfiable Sentence (First-Order Logic)

first-order-logic

Semantic Tableau (First-order Logic)

first-order-logic

Sentence (First-Order Logic)

first-order-logic

Signature (First-Order Logic)

first-order-logic

Sort (Satisfiability Modulo Theory)

first-order-logic
satisfiability-modulo-theory

Structure (First-Order Logic)

first-order-logic

Subformula (First-Order Logic)

first-order-logic

Syntax (First-Order Logic)

first-order-logic

Tableaux (First-Order Logic)

first-order-logic

Tarski Semantics (First-Order Logic)

first-order-logic

Tautology (First-Order Logic)

first-order-logic

Term (First-Order Logic)

first-order-logic

Theory (First-Order Logic)

first-order-logic

Theory Entailment (First-Order Logic)

first-order-logic

Universal Quantifier

first-order-logic

Universal Quantifier (First-Order Tableaux)

first-order-logic
tableaux

Universe (First-Order Logic)

first-order-logic

Unsatisfiable Formula (First-Order Logic)

first-order-logic

Variable

first-order-logic

Variable Assignment (First-Order Logic)

first-order-logic

Page 1 of 7

Created with Quartz v4.5.2 © 2026

GitHub