Category:Logic symbols
![]() | Computing portal |
Here is a list of articles in the category Logic symbols of the Computing portal that unifies foundations of mathematics and computations using computers.
Subcategories
This category has the following 2 subcategories, out of 2 total.
Pages in category "Logic symbols"
The following 50 pages are in this category, out of 50 total.
*
- List of logic symbols (computing)
- Symbol (formal) (computing)
A
- Ampersand (computing)
- & (computing)
- Arrow (symbol) (computing)
C
- Caret (computing)
- Logical connective (computing)
D
- Descending wedge (computing)
- Double turnstile (computing)
- Downwards zigzag arrow (computing)
E
- Eet (symbol) (computing)
- Existential quantification (computing)
F
- Free variables and bound variables (computing)
G
- Glossary of Principia Mathematica (computing)
H
- Horseshoe (symbol) (computing)
L
- Literal (mathematical logic) (computing)
- Logical constant (computing)
- Lozenge (computing)
M
- Metavariable (computing)
- Modal operator (computing)
N
- Non-logical symbol (computing)
P
- Predicate variable (computing)
- Propositional variable (computing)
S
- Sheffer stroke (computing)
T
- Tee (symbol) (computing)
- Therefore sign (computing)
- Tilde (computing)
- Triple bar (computing)
- Turned A (computing)
- Turnstile (symbol) (computing)
U
- Universal quantification (computing)
- Up tack (computing)
V
- Vel (symbol) (computing)
- Vertical bar (computing)
W
- Wedge (symbol) (computing)
~
- ~ (computing)
¦
- ¦ (computing)
→
- → (computing)
↓
- ↓ (computing)
⇔
- ⇔ (computing)
∃
- ∃ (computing)
∄
- ∄ (computing)
∧
- ∧ (computing)
∨
- ∨ (computing)
∴
- ∴ (computing)
⊃
- ⊃ (computing)
⊢
- ⊢ (computing)
⊤
- ⊤ (computing)
⊥
- ⊥ (computing)
⊨
- ⊨ (computing)