Лагічная канстанта

У логіцы лагічная канстанта або пастаянны сімвал мовы ${\mathcal {L}}$ гэта сімвал, які мае аднолькавае семантычнае значэнне пры кожнай інтэрпрэтацыі ${\mathcal {L}}$. Два важныя тыпы лагічных канстант — лагічныя злучнікі і квантыфікатары. Прэдыкат роўнасці (звычайна пішацца '=') таксама разглядаецца як лагічная канстанта ў многіх сістэмах логікі.

Некаторыя сімвалы, якія звычайна разглядаюцца як лагічныя канстанты:

Сімвал	Значэнне	Значэнне па-англійску
T	«праўда»	«true»
F	«хлусня»	«false»
¬	«не»	«not»
∧	«і»	«and»
∨	«або»	«or»
→	«мае на ўвазе», «калі…то»	«implies», «if…then»
∀	«для ўсіх»	«for all»
∃	«існуе», «для некаторых»	«there exists», «for some»
=	«роўна»	«equals»
$\Box$	«абавязкова»	«necessarily»
$\Diamond$	«магчыма»	«possibly»

Многія з гэтых лагічных канстант часам пазначаюцца альтэрнатыўнымі сімваламі (напрыклад, выкарыстанне сімвала «&» замест «∧» для абазначэння лагічнага і). Напрыклад, у Java выкарыстоўваюцца наступныя сімвалы і ключавыя словы: ! для «не», true для «так», false для «не», && або & для «і», || ці | для «або» і г. д.

Спасылкі

• Пункт Стэнфардскай энцыклапедыі філасофіі пра лагічныя канстанты