Up tack - Up tack
 | tento článek potřebuje další citace pro ověření. (Květen 2014) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
The up tack nebo falsum (⊥, bot v Latex, U + 22A5 palců Unicode[1]) je konstanta symbol slouží k reprezentaci:
- The pravdivostní hodnota „false“ nebo logická konstanta označující výrok v logice, který je vždy Nepravdivé (často nazývané „falsum“ nebo „absurdum“).[2]
- The spodní prvek v teorie mřížky, což také představuje absurdum při použití pro logickou sémantiku
- The spodní typ v teorie typů, což rovněž představuje absurdum v rámci Curry – Howardova korespondence
stejně jako
- Smíšený radix dekódování v Programovací jazyk APL
The glyf vzhůru nohama se jeví jako vzhůru nohama symbol tee, a jako takový se někdy nazývá atd (slovo „tee“ obráceně).[Citace je zapotřebí ] Tričko hraje doplňkovou nebo dvojí role v mnoha z těchto teorií.
Podobně vypadající kolmý symbol (⟂, perp v LaTeXu, U + 27C2 v Unicode) je binární relační symbol používaný k reprezentaci:
- Kolmost řádků v geometrie
- Ortogonalita v lineární algebra
- Nezávislost z náhodné proměnné v teorie pravděpodobnosti
- Coprimality v teorie čísel
The zdvojnásobit symbol (⫫, U + 2AEB v Unicode[3]) je konstanta symbol slouží k reprezentaci:
Viz také
Poznámky
- ^ „Mathematical Operators - Unicode“ (PDF). Citováno 2013-07-20.
- ^ "Úplný seznam logických symbolů". Matematický trezor. 2020-04-06. Citováno 2020-08-14.
- ^ „Mathematical Operators - Unicode“ (PDF). Citováno 2013-07-20.
- ^ [1]
 Filozofický portál Matematický portál |