Category:Logical truth
![]() | Computing portal |
Here is a list of articles in the Logical truth category of the Computing portal that unifies foundations of mathematics and computations using computers.
![]() |
Wikimedia Commons has media related to Logical truth. |
Subcategories
This category has the following 2 subcategories, out of 2 total.
Pages in category "Logical truth"
The following 13 pages are in this category, out of 13 total.
- Logical truth (computing)
D
- Direct proof (computing)
F
- Formal proof (computing)
- Formation rule (computing)
L
- Logical constant (computing)
- Logical form (philosophy)
P
- Proof (truth) (computing)
R
- Rule of inference (computing)
S
- Satisfiability (computing)
- Substitution (logic) (philosophy)
T
- Tautology (logic) (philosophy)
- Two Dogmas of Empiricism (philosophy)
V
- Validity (logic) (philosophy)