Boolesk konstant
I logik är en logisk konstant för ett formellt språk ett tecken som har samma semantiska betydelse under någon tolkning av i . Två viktiga typer av logiska konstanter är logiska kopplingar och kvantifierare . Likhetspredikatet ( vanligtvis skrivet "=") behandlas också som en boolesk konstant i många logiska system.
Några symboler som vanligtvis behandlas som booleska konstanter är:
| Symbol | Menande |
|---|---|
| T | "Sann" |
| F | "Falsk" |
| ¬ | "inte" |
| ∧ | "och" |
| ∨ | "eller" |
| → | "borde", "om...då" |
| ∀ | "för alla" |
| ∃ | "finns", "för vissa" |
| = | "likar" |
| "nödvändig" | |
| "Kanske" |
Andra symboler används också för att beteckna många logiska konstanter, till exempel symbolen "&" för logisk "och" [1] .
Frågan "Vad är en logisk konstant?" är en av de grundläggande frågorna i logikens filosofi .
Se även
Anteckningar
- ↑ Ämnet för logik (otillgänglig länk) . Tillträdesdatum: 18 januari 2015. Arkiverad från originalet 12 februari 2015.
Länkar
 Ordböcker och uppslagsverk |
|---|
| Logik | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofi • Semantik • Syntax • Historia | |||||||||
| Logiska grupper |
| ||||||||
| Komponenter |
| ||||||||
| Lista över booleska symboler | |||||||||