Tag: logic

39 items with this tag.

Dec 13, 2025
XNOR
- logic
Dec 13, 2025
Universal Quantifier
- logic
Dec 13, 2025
Term Language
- logic
Dec 13, 2025
Term
- logic
Dec 13, 2025
Tautology
- logic
Dec 13, 2025
Syllogism
- logic
Dec 13, 2025
Statement
- logic
Dec 13, 2025
Signature (Logic)
- logic
Dec 13, 2025
Sequent
- logic
- sequent-calculus
Dec 13, 2025
Semantic
- logic
Dec 13, 2025
Resolution
- logic
Dec 13, 2025
Quantifier
- logic
- todo
Dec 13, 2025
Propositional Logic
- logic
Dec 13, 2025
Principle of Explosion
- logic
Dec 13, 2025
Predicate
- logic
Dec 13, 2025
Negation
- boolean-algebra
- logic
Dec 13, 2025
NAND
- boolean-algebra
- logic
Dec 13, 2025
Modus Ponens
- logic
Dec 13, 2025
Monotonicity of Entailment
- logic
Dec 13, 2025
Linear Logic
- logic
- todo
Dec 13, 2025
Interpretation
- logic
Dec 13, 2025
Inductive Definition
- logic
Dec 13, 2025
Horn Clause
- logic
Dec 13, 2025
First-Order Logic
- logic
Dec 13, 2025
Existential Quantifier
- logic
Dec 13, 2025
Disjunction
- boolean-algebra
- logic
Dec 13, 2025
Deductive Logic
- logic
Dec 13, 2025
Definition
- logic
Dec 13, 2025
Counting Quantifier
- logic
Dec 13, 2025
Contradiction
- logic
Dec 13, 2025
Consequent
- logic
Dec 13, 2025
Conjunction
- boolean-algebra
- logic
Dec 13, 2025
Combinatorial Logic Circuit
- logic
- todo
Dec 13, 2025
Classical Logic
- logic
Dec 13, 2025
Causality
- logic
Dec 13, 2025
Atom
- logic
Dec 13, 2025
Atomic Formula
- logic
Dec 13, 2025
Arity
- logic
Dec 13, 2025
Antecedent
- logic