У логіцы лагічная канстанта або пастаянны сімвал мовы 
гэта сімвал, які мае аднолькавае семантычнае значэнне пры кожнай інтэрпрэтацыі . Два важныя тыпы лагічных канстант — лагічныя злучнікі і квантыфікатары. Прэдыкат роўнасці (звычайна пішацца '=') таксама разглядаецца як лагічная канстанта ў многіх сістэмах логікі.
Некаторыя сімвалы, якія звычайна разглядаюцца як лагічныя канстанты:
| Сімвал
|
Значэнне
|
Значэнне па-англійску
|
| T
|
«праўда»
|
«true»
|
| F
|
«хлусня»
|
«false»
|
| ¬
|
«не»
|
«not»
|
| ∧
|
«і»
|
«and»
|
| ∨
|
«або»
|
«or»
|
| →
|
«мае на ўвазе», «калі…то»
|
«implies», «if…then»
|
| ∀
|
«для ўсіх»
|
«for all»
|
| ∃
|
«існуе», «для некаторых»
|
«there exists», «for some»
|
| =
|
«роўна»
|
«equals»
|
|
«абавязкова»
|
«necessarily»
|
|
«магчыма»
|
«possibly»
|
Многія з гэтых лагічных канстант часам пазначаюцца альтэрнатыўнымі сімваламі (напрыклад, выкарыстанне сімвала «&» замест «∧» для абазначэння лагічнага і). Напрыклад, у Java выкарыстоўваюцца наступныя сімвалы і ключавыя словы: ! для «не», true для «так», false для «не», && або & для «і», || ці | для «або» і г. д.
Заўвагі
Спасылкі
