Rögzítés (szimbólum)

A matematikai logika és a számítástechnika a stopli szimbólum , „ ⊢ ”, így kijelölt, mert annyira hasonlít a rendszer lezárására a vitorlák a hajón , jelentése logikus következtetés .

Az "x ⊢ y" képlet azt jelenti, hogy "y levonható x-ből", azaz y x-ből bizonyítható. A stopot unárikus operátorként is használhatjuk : így olvasható: Tudom, hogy A igaz . $\ vdash A$

Gottlob Frege német filozófus vezette be az ⊢ szimbólumot az 1879-es ideográfiájában (Begriffsschrift) : egy állítás megerősítését jelző vízszintes vonal, a függőleges vonal annak igazolása, a levonás ezek kombinációjaként jelent meg két fogalom. A szimbólumot Whitehead és Russell vette fel Principia mathematica (1910) című művében .

Hasonló megjelenésű szimbólumok

꜔ (U + A714)
├ (U + 251C)
ㅏ (U + 314F) koreai Ah
Ͱ (U + 0370) görög betűs heta nagybetű
ͱ (U + 0371) görög kisbetű heta
Ⱶ (U + 2C75) latin betű fél-H nagybetűvel
ⱶ (U + 2C76) kisbetűs fél-H latin betű
⎬ (U + 23AB) Jobb oldali zárójel

Lásd is

Megjegyzések és hivatkozások

Martin-Löf 1996 , p. 15
(de) Frege, Gottlob (1848-1925), Fogalomírás, Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens , L. Nebert (Halle a / S.),1879, X-88 p. ; -8 p. ( online olvasható ) , p. 1

Bibliográfia

(en) Kenneth E. Iverson , „ A Dictionary of APL ” , APL Quote Quad , vol. 18, n o 1,1987. szeptember( online olvasás )
Martin-Löf, „ A logikai állandók jelentéseiről és a logikai törvények igazolásáról ”, Nordic Journal of Philosophical Logic , vol. 1, n o 1,1996, P. 11–60 ( online olvasható ) (Előadásjegyzetek egy rövid tanfolyamhoz az Università degli Studi di Sienában, 1983. április.)
(en) David A. Schmidt , A gépelt programozási nyelvek szerkezete , Cambridge, MIT Press ,1994, 367 p. ( ISBN 0-262-19349-3 , online olvasás )
en) Anne S. Troelstra és Helmut Schwichtenberg , alapvető bizonyítási elmélet , Cambridge University Press ,2000, 417 p. ( ISBN 978-0-521-77911-1 , online olvasás )