Tag: logic

26 items with this tag.

Apr 24, 2025
XNOR
- logic
Apr 24, 2025
Universal Quantifier
- logic
Apr 24, 2025
Syllogism
- logic
Apr 24, 2025
Tautology
- logic
Apr 24, 2025
Term Language
- logic
Apr 24, 2025
Term
- logic
Apr 24, 2025
Statement
- logic
Apr 24, 2025
Signature (Logic)
- logic
Apr 24, 2025
Semantic
- logic
Apr 24, 2025
Predicate
- logic
Apr 24, 2025
Propositional Logic
- logic
Apr 24, 2025
Quantifier
- logic
- todo
Apr 24, 2025
Operator
- logic
Apr 24, 2025
Negation
- boolean-algebra
- logic
Apr 24, 2025
NAND
- boolean-algebra
- logic
Apr 24, 2025
Inductive Definition
- logic
Apr 24, 2025
First-Order Logic
- logic
Apr 24, 2025
Existential Quantifier
- logic
Apr 24, 2025
Disjunction
- boolean-algebra
- logic
Apr 24, 2025
Definition
- logic
Apr 24, 2025
Counting Quantifier
- logic
Apr 24, 2025
Combinatorial Logic Circuit
- logic
- todo
Apr 24, 2025
Conjunction
- boolean-algebra
- logic
Apr 24, 2025
Causality
- logic
Apr 24, 2025
Arity
- logic
Apr 24, 2025
Atomic Formula
- logic