Tag: logic

35 items with this tag.

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