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

  1. Emnet for logik (utilgængeligt link) . Dato for adgang: 18. januar 2015. Arkiveret fra originalen 12. februar 2015. 

Links