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