Lukas' Notes
Search
Search
Dark mode
Light mode
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
1
2
3
4
5
6
7
Page 1 of 7