Tričko (symbol) - Tee (symbol)
The tričko (⊤, horní
v Latex,), také zvaný down tack (na rozdíl od up tack ) nebo verum je symbol slouží k reprezentaci:
- The horní prvek v teorie mřížky.
- The pravdivostní hodnota být pravdivý logika, nebo věta (např. vzorec v výrokový kalkul ) což je bezpodmínečně pravda.[1][2][3][4] Podle definice každý tautologie je logicky ekvivalentní na vrchol.
- The špičkový typ v teorie typů.
- Smíšený radix kódování v Programovací jazyk APL.
Podobně vypadající horní index T lze použít k označení přemístit matice.[5]
Kódování
v Unicode, znak tee je zakódován jako U + 22A4 ⊤ DOWN TACK (HTML⊤
· & DownTee ;, & top;
).[6] Symbol je zakódován Latex tak jako horní
.
Viz také
Poznámky
- ^ "Úplný seznam logických symbolů". Matematický trezor. 2020-04-06. Citováno 2020-08-14.
- ^ "tautologie | Definice a fakta". Encyklopedie Britannica. Citováno 2020-08-14.
- ^ „Definice TAUTOLOGY“. www.merriam-webster.com. Citováno 2020-08-14.
- ^ Weisstein, Eric W. "Tautologie". mathworld.wolfram.com. Citováno 2020-08-14.
- ^ „Kompendium matematických symbolů“. Matematický trezor. 2020-03-01. Citováno 2020-08-14.
- ^ „Mathematical Operators - Unicode“ (PDF). Citováno 2013-07-20.
![]() | Tento logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |
![]() | Tento článek týkající se matematiky je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |