Lista över symboler inom logik

I logik används ofta en uppsättning symboler för att uttrycka logisk representation. Följande tabell visar många vanliga symboler tillsammans med deras namn, uttal och det relaterade matematikfältet. Dessutom innehåller den tredje kolumnen en informell definition, den fjärde kolumnen ger ett kort exempel, den femte och sjätte ger unicode-plats och namn för användning i HTML-dokument. Den sista kolumnen innehåller LaTeX-symbolen.

Grundläggande logiksymboler

Avancerade och sällan använda logiska symboler 
Dessa symboler sorteras efter deras Unicode-värde:

 U+0305  ̅  ÖVERSTRECK, används till att förkorta vissa symboler (typografisk nummerteori).  Till exempel kan "4̅" användas för att "beteckna SSSS0".
 Övertrecket kan också (men bara sällan) användas till att beteckna Gödels siffror.
 Överstrecket har även använts för att beteckna negation, vilket fortfarande används inom elektronik.
 U+2191 ↑ UPPÅTVÄND PIL eller U+007C | VERTIKAL LINJE: Scheffers streck, symbolen för NAND-operatoren.
 U+2193 ↓ NEDÅTVÄND PIL Pierces pil, symbolen för NOR-operatoren.
 U+2201 ∁ KOMPLEMENT.
 U+2204 ∄ DET FINNS INTE: slåt ut existenskvantifikator, detsamma som "¬∃".
 U+2234 ∴ ALLTSÅ: alltså.
 U+2235 ∵ TY: ty.
 U+22A7 ⊧ MODELLER: är en modell av.
 U+22A8 ⊨ SANT: det är sant att.
 U+22AC ⊬ BEVISAR INTE: negerat ⊢, symbolen för "bevisar inte", till exempel betyder T ⊬ P "P är inte sats av T".
 U+22AD ⊭ INTE SANT: det är inte sant att.
 U+2020 † KORS: Bekräftande operator (uttalas som "det är sant att...") .
 U+22BC ⊼ NAND: NAND-operatorn.
 U+22BD ⊽ NOR: NOR-operatorn.
 U+25C7 ◇ VIT DIAMANT: modal-operator för "det är möjligt att", "det är inte nödvändigt att" eller ibland "det är inte bevisbart att" (definieras inom modallogik som "¬◻¬").
 U+22C6 ⋆ STJÄRN-OPERATOR: används normalt sett för ad hoc operatorer.
 U+22A5 ⊥ FALSUM eller U+2193 ↓ NEDÅTVÄND PIL: Webb-operator eller Pierces pil, symbolen för NOR. Förvirrande nog är "⊥" även symbolen för kontradiktion eller absurditet.
 U+2310 ⌐ BAKOFRAMVÄNT ICKE-TECKEN
 U+231C ⌜ ÖVRE VÄNSTER HÖRN och U+231D ⌝ ÖVRE HÖGRE HÖRN: Quines citationstecken.
 U+25A1 ◻ VIT FYRKANT: modal-operator för "det är nödvändigt att" (modallogik) eller "det är bevisbart att" (besivbarhetslogik) eller "det är obligatoriskt att" (doxastik logik); även tom klausul.
 U+27DB ⟛ VÄNSTER OCH HÖGER VÄNDKORS: semantisk ekvivalens.

Observera att följande operatorer sällan stöds av naturligt installerade teckensnitt. Om du vill använda dessa på en webbsida bör du alltid bädda in nödvändiga teckensnitt så att sidvisaren kan se webbsidan utan att ha nödvändiga teckensnitt installerade i sin dator.

 U+27E1 ⟡ VIT KONKAV-SIDIG DIAMANT.
 U+27E2 ⟢ VIT KONKAV-SIDIG DIAMANT MED VÄNSTERVRIDET VÄNDKORS: modal-operator för "var aldrig".
 U+27E3 ⟣ VIT KONKAV-SIDIG DIAMANT MED HÖGERVRIDET VÄNDKORS: modal-operator för "kommer aldrig att hända".
 U+27E4 ⟤ VIT FYRKANT MED VÄNSTERVRIDET VÄNDKORS: modal-operator för "var alltid".
 U+27E5 ⟥ VIT FYRKANT MED VÄNSTERVRIDET VÄNDKORS: modal-operator för "kommer alltid att vara".
 U+297D ⥽ HÖGER FISKEKROK: används ibland för "relation", används även för beteckningen av flera ad hoc relationer (till exempel, för att beteclma "vittnar" i rossersatser). Fiskekroken användas också för att beteckna strikt implikation av C. I. Lewis  ⥽ , i LaTeX skrivs detta som \strictif.  Se här för en glyf. Tillades i Unicode 3.2.0.
 U+2A07 ⨇ TWO LOGISKA OCH OPERATOR

Användning i olika länder

Polen och Tyskland 
Från och med 2014 har man ibland i Polen skrivit allkvantifikatorn som  och existenskvantifikatorn som .
Detsamma gäller för Tyskland.

Japan 
Symbolen ⇒ används ofta i text för att betyda "resultat" eller "slutsats", som i "Vi undersökte om vi skulle sälja produkten ⇒ Vi kommer inte att sälja den". Dessutom används → -symbolen ofta för att beteckna "ändrad till" som i meningen "Räntesatsen har ändrats. Mars 20% → April 21% ".

Se även 

 Józef Maria Bocheński 
 Lista över matematiska symboler 
 Logikgrind # Symboler 
 Logisk anslutning 
 Polsk notation 
 Sanningsfunktion 
 Sanningsbord

Referenser

Vidare läsning 

 Józef Maria Bocheński (1959), A Précis of Mathematical Logic, trans., Otto Bird, från de franska och tyska upplagorna, Dordrecht, Sydholland: D. Reidel.

Externa länkar 

 Namngivna teckenenheter i HTML 4.0

Logiska symboler
Matematisk notation