Lukas' Notes
Search
Search
Dark mode
Light mode
Home
❯
tags
❯
Tag: logic
Tag: logic
141 items with this tag.
May 01, 2026
k-Satisfiability Problem
computation
logic
sat
May 01, 2026
XNOR
logic
May 01, 2026
Well-formed Formula
logic
May 01, 2026
Well-formed Propositional Formula
logic
propositional-logic
May 01, 2026
Well-formedness
logic
May 01, 2026
Variable Assignment
logic
May 01, 2026
Variable
logic
May 01, 2026
Valid Argument
logic
May 01, 2026
Valuation Function (Logic)
logic
May 01, 2026
Universal Quantifier
logic
May 01, 2026
Unit Clause
logic
May 01, 2026
Unit Propagation
logic
computation
sat-solving
May 01, 2026
Unary Logical Connective
logic
May 01, 2026
Truth Table
logic
May 01, 2026
Truth
logic
May 01, 2026
Tu Quoque
logic
informal-fallacy
May 01, 2026
Theorem
logic
May 01, 2026
Term Language
logic
May 01, 2026
Term
logic
May 01, 2026
Tautology
logic
May 01, 2026
Tableaux
logic
propositional-logic
May 01, 2026
Syllogism
logic
May 01, 2026
Symbolic Computation
computation
logic
May 01, 2026
Structural Operational Semantics
logic
May 01, 2026
Subformula
logic
May 01, 2026
Statement (Logic)
logic
May 01, 2026
Splitting Algorithm
logic
May 01, 2026
Sound Argument
logic
May 01, 2026
Sound Calculus
logic
May 01, 2026
Signature (Logic)
logic
May 01, 2026
Signed Formula
logic
May 01, 2026
Sequent Calculus
logic
sequent-calculus
May 01, 2026
Semantic
logic
May 01, 2026
Satisfiable Formula
logic
May 01, 2026
Quantifier
logic
May 01, 2026
Pure Literal
logic
May 01, 2026
Propositional Formula
logic
May 01, 2026
Propositional Logic
logic
propositional-logic
May 01, 2026
Provable Argument
logic
May 01, 2026
Proposition
logic
May 01, 2026
Propositional Formula Position
logic
May 01, 2026
Prolog
logic
programming-language
May 01, 2026
Principle of Explosion
logic
May 01, 2026
Predicate
logic
May 01, 2026
Positive Literal
logic
May 01, 2026
Polarity of Propositional Subformulas
logic
May 01, 2026
Operational Semantics
logic
verification
programming-languages
May 01, 2026
Open Branch (Tableaux)
logic
tableaux
May 01, 2026
Natural Semantics
logic
May 01, 2026
Negation
boolean-algebra
logic
May 01, 2026
Negative Literal
logic
May 01, 2026
Naming
logic
propositional-logic
May 01, 2026
Natural Deduction
logic
May 01, 2026
Mutual Entailment
logic
May 01, 2026
NAND
boolean-algebra
logic
May 01, 2026
Monotonicity of Entailment
logic
May 01, 2026
Monotonic Replacement (Propositional Logic)
logic
propositional-logic
May 01, 2026
Model-Checking Problem
computation
logic
May 01, 2026
Modus Ponens
logic
May 01, 2026
Model (Logic)
logic
May 01, 2026
Mathematical Logic
logic
May 01, 2026
Logic
logic
May 01, 2026
Logical Connective
logic
May 01, 2026
Logical Strength
logic
May 01, 2026
Literal
logic
May 01, 2026
Linear Logic
logic
todo
May 01, 2026
Lemma
logic
May 01, 2026
Law of Excluded Middle
logic
May 01, 2026
Krom Formula
logic
computation
May 01, 2026
Intuitionistic Logic
logic
intuitionistic-logic
May 01, 2026
Invalid Argument
logic
May 01, 2026
Interpretation
logic
May 01, 2026
Interpretation (First-Order Logic)
logic
May 01, 2026
Informal Fallacy
logic
argumentation
rhetoric
May 01, 2026
Inductive Definition
logic
May 01, 2026
Inference Rule
logic
May 01, 2026
Incidence Graph
graph-theory
logic
sat-solving
May 01, 2026
Horn Clause
logic
May 01, 2026
Horn Formula
logic
computation
May 01, 2026
Hitting Formula
logic
May 01, 2026
Hoare Triple
logic
verification
hoare-calculus
May 01, 2026
Hilbert's Programme
logic
math
May 01, 2026
Gödel Numbering
logic
computation
May 01, 2026
Good Argument
logic
May 01, 2026
Functional Completeness (Propositional Logic)
logic
propositional-logic
May 01, 2026
Frege's Logic
logic
May 01, 2026
Formula Position
logic
May 01, 2026
Formula Satisfaction Set
logic
May 01, 2026
Formula
logic
May 01, 2026
Formal Fallacy
logic
May 01, 2026
Fixed-Point Logic
logic
May 01, 2026
First-Order Logic
logic
May 01, 2026
Falsity
logic
May 01, 2026
Fallacy
logic
argumentation
May 01, 2026
Existential Quantifier
logic
May 01, 2026
Equivalence
logic
May 01, 2026
Equivalent Replacement (Propositional Logic)
logic
propositional-logic
May 01, 2026
Equisatisfiable Propositional Formula
logic
May 01, 2026
Entailment
logic
May 01, 2026
Entailment–Unsatisfiability Duality
logic
proof-theory
May 01, 2026
Empty Clause
logic
May 01, 2026
Double Negation Elimination
logic
May 01, 2026
Disjunction
logic
May 01, 2026
Disjunctive Normal Form
logic
May 01, 2026
Derivable Consequent
logic
May 01, 2026
Definition
logic
May 01, 2026
Deduction
logic
May 01, 2026
Deductive Logic
logic
May 01, 2026
Curry-Howard Correspondence
logic
type-theory
May 01, 2026
Counting Quantifier
logic
May 01, 2026
Corollary
logic
May 01, 2026
Correct Argument
logic
May 01, 2026
Contradiction
logic
May 01, 2026
Conjunction
logic
May 01, 2026
Conjunctive Normal Form
logic
May 01, 2026
Consequent
logic
May 01, 2026
Consistent Formula
logic
May 01, 2026
Conflict-Driven Clause Learning
sat-solving
logic
May 01, 2026
Compound Formula
logic
May 01, 2026
Complete Calculus
logic
May 01, 2026
Compact Truth Table
logic
May 01, 2026
Combinatorial Logic Circuit
logic
May 01, 2026
Closed Branch (Tableaux)
logic
tableaux
May 01, 2026
Clausal Normal Form (Propositional Formula)
logic
propositional-logic
May 01, 2026
Clause
logic
May 01, 2026
Circuit
electronics
logic
May 01, 2026
Classical Logic
logic
May 01, 2026
Causality
logic
May 01, 2026
Calculus
logic
proof-theory
May 01, 2026
Branch (Tableaux)
logic
tableaux
May 01, 2026
Boolean Variable
logic
May 01, 2026
Binary Logical Connective
logic
May 01, 2026
Axiomatic Semantics
logic
May 01, 2026
Axiom
logic
May 01, 2026
Atomic Formula
logic
May 01, 2026
Atom
logic
May 01, 2026
Arity
logic
May 01, 2026
Argument
logic
May 01, 2026
Antecedent
logic
May 01, 2026
Anti-Horn Clause
logic
May 01, 2026
Ad Hominem
logic
informal-fallacy