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

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

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

 Заўвагі 

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

Катэгорыя:Сінтаксіс (логіка)
Катэгорыя:Матэматычныя знакі