Ylöspäin osoittava nasta (up tack)

⊥, ylösalainen T, tarkoittaa yleensä epätotta tai ristiriitaa: logiikassa sitä kutsutaan nimellä falsum tai bottom (”pohja”). Tyyppi- ja järjestysteoriassa bottom on pienin alkio, esimerkiksi tyyppi, jolla ei ole arvoja. Ansa: vanhat geometrian tekstit käyttivät ⊥:tä kohtisuoruudelle, ja nykyään Unicode antaa tämän tehtävän merkille .

Tekstisymboli

Mitä ⊥ tarkoittaa

Logiikassa ⊥ on väite, joka ei voi koskaan olla tosi. Nimeltään falsum tai bottom, se merkitsee mahdottomuutta: todistus, joka johtaa ⊥:n, on törmännyt ristiriitaan, ja niin päättyy epäsuora todistus. Jotkin logiikat jopa määrittelevät ”ei φ” muodossa φ ⊥, ”φ johtaa mahdottomuuteen”.

Logiikan ulkopuolella bottom on järjestyksen alin alkio. Hilassa (rakenteessa, jossa jokaisella kahdella alkiolla on suurin alaraja) ⊥ on kaiken alla. Ohjelmointikielten teoriassa bottom-tyypillä ei ole yhtään arvoa, joten sen palauttava funktio ei koskaan palaa normaalisti.

Onko ⊥ kohtisuoruuden merkki?

Perinteisesti kyllä; nykyisessä Unicodessa käytä merkkiä . Vanhat merkistöt ja HTML-entiteetti &perp; käyttävät ⊥:tä kohtisuorille suorille, joten liitetty geometria kuten AB ⊥ CD on yhä yleistä. Unicode ehdotti omaa kohtisuoruusrelaatiota vuonna 2003 ja koodasi sen vuonna 2005, välistettynä kahden kohteen väliseksi relaatioksi.

Tekninen ja muodollinen: matematiikka, logiikka, ohjelmointikielten teoria tai merkintäkielet.

Älä lue ⊥:tä automaattisesti kohtisuoraksi; logiikassa se tarkoittaa epätotta.

Osa kokoelmaa

➗

Math Symbols

Mitä se tarkoittaa, kun joku lähettää sen sinulle

Tulkintoja: 4

Oletukset johtivat epätoteen, mahdottomaan väitteeseen.

Älä sekoita tähän

⟂

Kohtisuoruusmerkki

Varsinainen kohtisuoruusrelaatio, jossa kohteiden välissä on lisätilaa; ⊥ on logiikan ja järjestysteorian merkki.

Yhdistelmäideoita

φ implikoi epätoden, yksi tapa kirjoittaa ”ei φ”.

Oletuksista Γ voi todistaa ristiriidan, joten ne ovat ristiriitaisia.

Bottom on alkion tai tyypin A alapuolella.

Hyvä tietää

W3C:n historiallinen MathML-merkkitaulukko liitti sekä nimen ”bottom” että ”perpendicular” merkkiin U22A5, ja siksi ⊥ tuottaa yhä ⊥:n.

Usein kysytyt kysymykset

Mitä ⊥ tekee APL:ssä?

Se purkaa koodauksen. APL:ssä ⊥ muuttaa tietyn kantaluvun numerolistan yhdeksi luvuksi; pari (encode) tekee päinvastoin.

Miksi ⊥ esiintyy ohjelmoinnin tyyppikeskusteluissa?

Se nimeää bottom-tyypin: kaikkien tyyppien alla, ilman arvoja, koodille joka ei koskaan palaa normaalisti. Kielet kirjoittavat sen Never, Nothing tai !.