I logik er en logisk konstant for et formelt sprog et tegn, der har den samme semantiske betydning under enhver fortolkning af i . To vigtige typer af logiske konstanter er logiske konnektorer og kvantifikatorer . Lighedsprædikatet (almindeligvis skrevet "=") behandles også som en boolsk konstant i mange logiske systemer.
Nogle symboler, der normalt behandles som booleske konstanter, er:
Symbol | Betyder |
---|---|
T | "rigtigt" |
F | "Falsk" |
¬ | "ikke" |
∧ | "og" |
∨ | "eller" |
→ | "bør", "hvis... så" |
∀ | "for alle" |
∃ | "eksisterer", "for nogle" |
= | "lige med" |
"nødvendig" | |
"Måske" |
Andre symboler bruges også til at betegne mange logiske konstanter, for eksempel symbolet "&" for logisk "og" [1] .
Spørgsmålet "Hvad er en logisk konstant?" er et af de grundlæggende spørgsmål i logikkens filosofi .
![]() |
---|
Logikker | |||||||||
---|---|---|---|---|---|---|---|---|---|
Filosofi • Semantik • Syntaks • Historie | |||||||||
Logiske grupper |
| ||||||||
Komponenter |
| ||||||||
Liste over booleske symboler |