Прагляд зыходнага тэксту старонкі Лагічная канстанта

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

Некаторыя сімвалы, якія звычайна разглядаюцца як лагічныя канстанты:
{| class="wikitable"
!Сімвал
! Значэнне
!Значэнне па-англійску
|-
| T
| «праўда»
|«true»
|-
| F
| «хлусня»
|«[[:en:False (logic)|false]]»
|-
| ¬
| «не»
|«[[:en:Logical negation|not]]»
|-
| ∧
| «і»
|«[[:en:Logical conjunction|and]]»
|-
| ∨
| «або»
|«[[:en:Logical disjunction|or]]»
|-
| →
| «[[Імплікацыя|мае на ўвазе]]», «калі…то»
|«[[:en:Material conditional|implies]]», «if…then»
|-
| ∀
| «для ўсіх»
|«[[:en:For all|for all]]»
|-
| ∃
| «існуе», «для некаторых»
|«[[:en:There exists|there exists]]», «for some»
|-
| =
| «[[Роўнасць|роўна]]»
|«[[:en:Equality (mathematics)|equals]]»
|-
| <math>\Box</math>
| «абавязкова»
|«necessarily»
|-
| <math>\Diamond</math>
| «магчыма»
|«possibly»
|}
Многія з гэтых лагічных канстант часам пазначаюцца альтэрнатыўнымі сімваламі (напрыклад, выкарыстанне сімвала «&» замест «∧» для абазначэння лагічнага і). Напрыклад, у [[Java (мова праграмавання)|Java]] выкарыстоўваюцца наступныя сімвалы і ключавыя словы: <code>!</code> для «не», <code>true</code> для «так», <code>false</code> для «не», <code>&&</code> або <code>&</code> для «і», <code>||</code> ці <code>|</code> для «або» і г. д.

== Заўвагі ==
{{Reflist}}

== Спасылкі ==
* [http://plato.stanford.edu/entries/logical-constants/ Пункт Стэнфардскай энцыклапедыі філасофіі пра лагічныя канстанты]

{{ізаляваны артыкул|date=2023-05-03}}
{{Бібліяінфармацыя}}

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