Category:Logical consequence
![]() | Computing portal |
Here is a list of articles in the Logical consequence category of the Computing portal that unifies foundations of mathematics and computations using computers.
![]() |
Wikimedia Commons has media related to Logical consequence. |
Subcategories
This category has the following 5 subcategories, out of 5 total.
A
C
D
I
T
Pages in category "Logical consequence"
The following 23 pages are in this category, out of 23 total.
- Logical consequence (computing)
A
- Argument (philosophy)
C
- Critical thinking (philosophy)
D
- Deductive closure (computing)
- Double turnstile (computing)
E
- Entailment (linguistics) (philosophy)
F
- Follows from (philosophy)
I
- Idempotency of entailment (philosophy)
- Inference (computing)
L
- Logical equivalence (computing)
- Logical reasoning (philosophy)
M
- Material conditional (computing)
- Monotonicity of entailment (philosophy)
P
- Paradoxes of material implication (philosophy)
R
- Rational consequence relation (computing)
- Result (philosophy)
T
- Tautological consequence (philosophy)
- Textual entailment (philosophy)
- Theorem (computing)
- Therefore sign (computing)
- Turnstile (symbol) (computing)
⊢
- ⊢ (computing)
⊨
- ⊨ (computing)