Mitä ⊧ tarkoittaa
Kaksoisturnstile ilmaisee totuutta mallissa tai semanttista seurausta. Malli on loogisten symbolien matemaattinen tulkinta. Merkinnässä A ⊧ φ rakenne A tekee kaavan φ todeksi. Merkinnässä Γ ⊧ φ premissit Γ implikoivat semanttisesti φ:n: jokainen Γ:n todeksi tekevä malli tekee myös φ:n todeksi. Ilman vasemmalla olevia premissejä ⊧ φ tarkoittaa, että φ pätee jokaisessa mallissa.
Simon Kochen käytti kaksoisturnstilea laajasti malliteoriassa vuonna 1961. Hän sanoi, ettei muistanut, oliko keksinyt merkinnän itse vai lainannut sen. Käyttö loogisen seurauksen merkkinä ilmaantui luultavasti vuoden 1963 tienoilla, ja se oli varmasti käytössä vuoteen 1967 mennessä.
Miten ⊧ eroaa merkistä ⊢?
⊧ ilmaisee semanttista totuutta; ⊢ merkitsee muodollista johtamista. Merkinnässä Γ ⊢ φ todistusjärjestelmä johtaa φ:n premisseistä Γ. Merkinnässä Γ ⊧ φ jokainen Γ:n todeksi tekevä malli tekee myös φ:n todeksi. Merkit vastaavat eri kysymyksiin: mitä todistussäännöistä seuraa ja mikä pätee kaikissa tulkinnoissa.
Mitä ⊧ tarkoittaa, jos joku lähettää sen?
Se viittaa yleensä logiikan tai matematiikan yhteyteen. Katso viestin ympärillä olevia kaavoja: merkin paikka kertoo, yhdistääkö ⊧ mallin kaavaan vai premissit johtopäätökseen.
Muodollinen ja erikoistunut merkki, jota käytetään logiikassa, malliteoriassa ja teoreettisessa tietojenkäsittelytieteessä.
Älä käytä ⊧-merkkiä koristeellisena ”siis”-sanana: se ilmaisee semanttisen suhteen.
Mitä se tarkoittaa, kun joku lähettää sen sinulle
Tulkintoja: 3Älä sekoita tähän
1Näin kirjoitat ⊧
⊧\22A7Koodit ja koodausKoodipisteitä: 1
Näkyvä symboli voi sisältää useita koodipisteitä. JS .length laskee UTF-16-yksiköt; UTF-8 laskee tavut.