Boolsk konstant
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 .
Se også
Noter
- ↑ Emnet for logik (utilgængeligt link) . Dato for adgang: 18. januar 2015. Arkiveret fra originalen 12. februar 2015.
Links
 Ordbøger og encyklopædier |
|---|
| Logikker | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofi • Semantik • Syntaks • Historie | |||||||||
| Logiske grupper |
| ||||||||
| Komponenter |
| ||||||||
| Liste over booleske symboler | |||||||||