Forgóajtó (szimbólum)
Forgóajtó |
⊢ |
|
|
jobb tapadás |
Unicode |
U+22A2 |
HTML kód |
vagy |
UTF-16 |
0x22A2 |
|
%E2%8A%A2 |
Mnemonika |
⊢ ⊢ |
Forgóajtó – A matematikai logikában és a számítástechnikában a szimbólumot "forgókapunak" nevezik, mert felülről nézve hasonlít egy tipikus forgókapuhoz . „Tee”-nek is nevezik, és gyakran „ad”, „bizonyít”, „kielégít” vagy „következ”.
A TeX -ben a forgóajtó szimbólum a \vdash parancsból származik . A Unicode -ban a forgóajtó karakterét ( \vdash ) "jobb gombnak" hívják, és az U+22A2 [1] kódhelyen van . Az U+22A6 kódpozíciót érvényesítési jelnek ( \vdash ) hívják. Írógépen a forgóajtó állhat egy függőleges sávból (|) és egy kötőjelből (-). A LaTeX -nek van egy turnstile csomagja, amely sok esetben előállítja ezt a karaktert, és képes az alatta vagy felette lévő karaktereket a megfelelő helyekre elhelyezni. [2]
Jelentése
A forgókapu bináris reláció . Az értelmezése különböző kontextusokban eltérő:
- Az ismeretelméletben Per Martin-Lough (1996) a következőképpen elemzi a szimbólumot : „…Frege ítéletének kombinációja | és egy kis tartalom – a jóváhagyás jeleként vált ismertté. [3] Frege jelölése bizonyos tartalom megítéléséhez A
:
olvasható: "Tudom, hogy A igaz".
Ugyanebben a szellemben egy feltételes kijelentés
:
így olvasható:
"
P -től tudom, hogy
Q "
azt jelenti, hogy
Q a rendszerben P - ből származtatható .
A származtatásra való felhasználása szerint, amelyet egy kifejezés követ, anélkül, hogy bármit megelõzne,
tételt jelöl, vagyis a kifejezés az üres axiómahalmaz segítségével levezethetõ a szabályokból . Mint ilyen, a kifejezés
azt jelenti, hogy
Q egy tétel a rendszerben.
- A bizonyításelméletben a forgóajtót a "bizonyíthatóság" vagy a "levezethetőség" jelölésére használják. Például, ha T egy formális elmélet és S egy konkrét mondat az elmélet nyelvében, akkor
azt jelenti, hogy
S bizonyítható
T -ből .
[5] Ezt a használatot a propozíciós logikáról szóló cikk mutatja be . A bizonyíthatóság szintaktikai következményét szembe kell állítani a
kettős forgókapu szimbólummal jelölt szemantikai következménnyel . Azt mondja, hogy ez a , vagy szemantikai következménye , amikor minden lehetséges
kiértékelés igaz is . A propozíciós logika esetében kimutatható, hogy a szemantikai következmény és a származtathatóság ekvivalensek egymással. Vagyis a propozíciós logika egészséges ( implikál ) és teljes ( implikál ).
[6]
a G funktorral . [9] Ritkább esetekben a forgókapu ( ), mint a -ban , arra szolgál, hogy jelezze, hogy a G funktor közvetlenül szomszédos az F funktorral . [tíz]
- Az APL -ben a szimbólumot "right tack"-nek hívják, és az ambivalens jobb identitásfüggvényt jelenti, ahol és , és vannak . A fordított szimbólumot "bal tapadásnak" nevezik, és hasonló bal oldali azonosságot jelent, ahol van és van . [11] [12]
- A kombinatorikában azt jelenti, hogy ez a szám partíciója . [13]
- A Hewlett-Packard HP-41C és HP-42S sorozatú számológépeiben a FOCAL karakterkészletben található karaktert (a 127-es kódpontban ) "Add Character"-nek hívják, és azt jelzik, hogy a A következő karakterek hozzáadódnak az alfa-regiszterhez, nem pedig a regiszter meglévő tartalmát. Ezt a karaktert (a 148-as kódponton) a HP Roman betűtípus egy módosított változata is támogatja, amelyet más HP számológépekben használnak.
- A Casio fx-92 College 2D és fx-92+ Speciale College sorozatú számológépeiben [14] a szimbólum a modulus operátort jelenti ; a bemenet megjelenik , ahol Q a hányados és R a maradék . Más CASIO számológépekben (például a belga változatokban - az fx-92B Speciale College és az fx-92B College 2D számológépekben [15] - ahol a decimális elválasztót vessző helyett pont jelöli) a modulo operátort a következővel jelölik .
Lásd még
Jegyzetek
- ↑ Unicode szabvány . Letöltve: 2021. május 16. Az eredetiből archiválva : 2011. május 13. (határozatlan)
- ↑ CTAN Átfogó TEX Archívum Hálózat, Directory - macros/latex/contrib/turnstile . Letöltve: 2021. május 16. Az eredetiből archiválva : 2021. május 17. (határozatlan)
- ↑ Martin-Lof, 1996 , pp. 6, 15
- ↑ 6. fejezet, Formális nyelvelmélet . Letöltve: 2021. május 16. Az eredetiből archiválva : 2018. április 4.. (határozatlan)
- ↑ Troelstra és Schwichtenberg, 2000
- ↑ Dirk van Dalen, Logika és struktúra (1980), Springer, ISBN 3-540-20879-8 . Lásd az 1. fejezet 1.5. szakaszát.
- ↑ Peter Selinger, Lecture Notes on the Lambda Calculus . Letöltve: 2021. május 16. Az eredetiből archiválva : 2021. május 6.. (határozatlan)
- ↑ Schmidt, 1994
- ↑ Adjungint Funktor az nLab-ban . Letöltve: 2021. május 16. Az eredetiből archiválva : 2021. május 13. (határozatlan)
- ↑ FunctorFact. Functor Fact a Twitteren . [tweet] . Twitter (2016. július 5. ) (határozatlan)
- ↑ Iverson, APL szótár . Letöltve: 2021. május 16. Az eredetiből archiválva : 2020. április 25. (határozatlan)
- ↑ Iverson, 1987
- ↑ Stanley, Richard P. Enumeratív kombinatorika. — 1. - Cambridge: Cambridge University Press, 1999. - Vol. Vol. 2. - 287. o.
- ↑ fx-92 Speciale College Mode d'emploi . - CASIO COMPUTER CO., LTD., 2015. - P. 12. Archiválva : 2021. április 16. a Wayback Machine -nél
- ↑ Fennmaradó számítások - Casio fx-92B felhasználói kézikönyv [13. oldal | ManualsLib] . www.manualslib.com . Letöltve: 2020. december 24. Az eredetiből archiválva : 2021. május 16. (határozatlan)
Linkek
Matematikai jelek |
---|
- Plusz ( + )
- Mínusz ( - )
- Szorzójel ( · vagy × )
- Osztályjel ( : vagy / )
- Obelus ( ÷ )
- Gyökér jel ( √ )
- Faktoriális ( ! )
- Integrált jel ( ∫ )
- Nabla ( ∇ )
- egyenlőségjel ( = , ≈ , ≡ stb. )
- Egyenlőtlenség jelei ( ≠ , > , < stb. )
- Arányosság ( ∝ )
- zárójelek ( ( ) , [ ] , ⌈ ⌉ , ⌊ ⌋ , { } , ⟨ ⟩ )
- Függőleges sáv ( | )
- Perjel, perjel ( / )
- fordított perjel, fordított perjel ( \ )
- Végtelen jel ( ∞ )
- Fokozatjel ( ° )
- Stroke ( ′ , ″ , ‴ , ⁗ )
- Csillag ( * )
- Százalék ( % )
- Ppm ( ‰ )
- Tilde ( ~ )
- Karet ( ^ )
- Circumflex ( ˆ )
- Plusz-mínusz ( ± )
- Mínusz-plusz jel ( ∓ )
- Tizedes elválasztó ( , vagy . )
- bizonyítási karakter vége ( ∎ )
|
|