In logic, a logical constant of a language is a symbol that has the same semantic value under every interpretation of . Two important types of logical constants are logical connectives and quantifiers. The equality predicate (usually written '=') is also treated as a logical constant in many systems of logic. One of the fundamental questions in the philosophy of logic is "What is a logical constant?"; that is, what special feature of certain constants makes them logical in nature? Some symbols that are commonly treated as logical constants are:
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Constant lògica (ca)
- Konstante (Logik) (de)
- Constante lógica (es)
- Costante logica (it)
- Logical constant (en)
- 論理定項 (ja)
- Logische constante (nl)
- Constantes lógicas (pt)
- Stała logiczna (pl)
- Логическая константа (ru)
- Логічна константа (uk)
|
| rdfs:comment
| - A lògica, una constant lògica és una expressió que la presència i posició determina la forma lògica d'una proposició, i per extensió la validesa o invalidesa dels . Dins d'un llenguatge formal amb una semàntica formal, una constant lògica és una expressió el significat no varia amb cada interpretació. (ca)
- Allgemein ist eine Konstante (von lateinisch constans „feststehend“) ein Zeichen beziehungsweise ein Sprachausdruck mit einer „genau bestimmte[n] Bedeutung, die im Laufe der Überlegungen unverändert bleibt“. Die Konstante ist damit ein Gegenbegriff zur Variablen. (de)
- En lógica, una constante lógica es una expresión que cuya presencia y posición determina la forma lógica de una proposición, y por extensión la validez o invalidez de los argumentos. Dentro de un lenguaje formal con una semántica formal, una constante lógica es una expresión cuyo significado no varía con cada interpretación. (es)
- 論理学において、言語 の論理定項 (英: logical constant) は、の全ての解釈の下で同じ意味値を持つ記号である。 論理定項の二つの重要な型は、論理結合子と量化記号である。等式述語（通常'='と書かれる）もまた、多くの論理体系において論理定項として扱われる。 一般的に論理定項として扱われるいくつかの記号を以下に示す： 上記のリスト以外の記号が一般的にさまざま論理定項を記すために用いられることもある。例えば、記号 "&" は 論理和を表す。 論理学の哲学における根本的な疑問の一つに、"論理定項とは何か?"というものがある。一体、論理定項のどのような特徴がそれらを論理的にしているのか？ (ja)
- In logic, a logical constant of a language is a symbol that has the same semantic value under every interpretation of . Two important types of logical constants are logical connectives and quantifiers. The equality predicate (usually written '=') is also treated as a logical constant in many systems of logic. One of the fundamental questions in the philosophy of logic is "What is a logical constant?"; that is, what special feature of certain constants makes them logical in nature? Some symbols that are commonly treated as logical constants are: (en)
- Een logische constante is een bouwsteen van een logische formule. Voorbeelden van logische constanten zijn kwantoren (alle, geen, sommige), negatie (niet), en connectieven (en, of, noch, als). Ze worden constanten genoemd, omdat hun betekenis vastligt in elke situatie. Inhoudswoorden als "paard" zijn geen constanten, omdat hun denotatie kan variëren. De waarheidswaarde van "Alle paarden zijn dood" kan daardoor per situatie verschillen, maar de betekenis van "alle" en "zijn" ligt telkens vast. Neem een redenering als: Alle paarden zijn vissen;Alle vissen zijn horloges→ Alle paarden zijn horloges (nl)
- Constante é uma área reservada para armazenamento de uma informação que não se alterará em todo o ciclo de vida do algoritmo, ou seja, tem sempre o mesmo valor dentro de um sistema. Um exemplo disso são as constantes da biblioteca matemática de qualquer linguagem de programação; outro exemplo se refere ao valor de PI que é o mesmo(3,14) e, a menos que alguém prove o contrário, ele não necessita ser alterado.Em lógica, no Cálculo Quantificacional Clássico as constantes podem ser divididas em dois grupos: as constantes lógicas e as constantes não-lógicas. As constantes não lógicas, por sua vez, podem ser classificadas em constantes individuais e constantes de predicado.Em lógica, mais precisamente em lógica clássica proposicional de primeira ordem uma constante representa uma função "0-ária" (pt)
- Stała logiczna – obok zmiennych i ewentualnie znaków interpunkcyjnych jeden z typów wyrażeń teorii logicznej. Zbiór stałych logicznych wchodzących w skład słownika danej teorii logicznej określa się zwykle przez wyliczenie. Do stałych logicznych zaliczają się funktory prawdziwościowe, kwantyfikatory, znak należenia do zbioru znak deskrypcji, znak abstrakcji itp. (pl)
- В логике, логической константой формального языка является символ, который имеет то же семантическое значение при любой в . Двумя важными типами логических констант являются логические связки и кванторы. Предикат равенства (обычно пишется «=») также рассматривается как логическая константа во многих системах логики. Некоторые символы, которые обычно рассматриваются как логические константы: Для обозначения многих логических констант используются и другие символы, например, символ «&» для логического «и». (ru)
- У логіці логічною константою формальної мови є символ, який має одне й те ж самесемантичне значення при будь-якій інтерпретації в .Два дуже важливих типи логічних констант це — логічні сполучники та квантори.Предикат рівності (зазвичай позначається "=") так само розглядається як логічна константа в багатьох системах логіки. Питання «Що таке логічна константа?» є одним із фундаментальних питань філософії логіки. Тобто які спеціальні властивості констант визначають їх як логічні по своїй природі? Наведені символи зазвичай розглядаються як логічні константи: (uk)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - A lògica, una constant lògica és una expressió que la presència i posició determina la forma lògica d'una proposició, i per extensió la validesa o invalidesa dels . Dins d'un llenguatge formal amb una semàntica formal, una constant lògica és una expressió el significat no varia amb cada interpretació. (ca)
- Allgemein ist eine Konstante (von lateinisch constans „feststehend“) ein Zeichen beziehungsweise ein Sprachausdruck mit einer „genau bestimmte[n] Bedeutung, die im Laufe der Überlegungen unverändert bleibt“. Die Konstante ist damit ein Gegenbegriff zur Variablen. (de)
- En lógica, una constante lógica es una expresión que cuya presencia y posición determina la forma lógica de una proposición, y por extensión la validez o invalidez de los argumentos. Dentro de un lenguaje formal con una semántica formal, una constante lógica es una expresión cuyo significado no varía con cada interpretación. (es)
- In logic, a logical constant of a language is a symbol that has the same semantic value under every interpretation of . Two important types of logical constants are logical connectives and quantifiers. The equality predicate (usually written '=') is also treated as a logical constant in many systems of logic. One of the fundamental questions in the philosophy of logic is "What is a logical constant?"; that is, what special feature of certain constants makes them logical in nature? Some symbols that are commonly treated as logical constants are: Many of these logical constants are sometimes denoted by alternate symbols (e.g., the use of the symbol "&" rather than "∧" to denote the logical and). Defining logical constants is a major part of the work of Gottlob Frege and Bertrand Russell. Russell returned to the subject of logical constants in the preface to the second edition (1937) of The Principles of Mathematics noting that logic becomes linguistic: "If we are to say anything definite about them, [they] must be treated as part of the language, not as part of what the language speaks about." The text of this book uses relations R, their converses and complements as primitive notions, also taken as logical constants in the form aRb. (en)
- 論理学において、言語 の論理定項 (英: logical constant) は、の全ての解釈の下で同じ意味値を持つ記号である。 論理定項の二つの重要な型は、論理結合子と量化記号である。等式述語（通常'='と書かれる）もまた、多くの論理体系において論理定項として扱われる。 一般的に論理定項として扱われるいくつかの記号を以下に示す： 上記のリスト以外の記号が一般的にさまざま論理定項を記すために用いられることもある。例えば、記号 "&" は 論理和を表す。 論理学の哲学における根本的な疑問の一つに、"論理定項とは何か?"というものがある。一体、論理定項のどのような特徴がそれらを論理的にしているのか？ (ja)
- Een logische constante is een bouwsteen van een logische formule. Voorbeelden van logische constanten zijn kwantoren (alle, geen, sommige), negatie (niet), en connectieven (en, of, noch, als). Ze worden constanten genoemd, omdat hun betekenis vastligt in elke situatie. Inhoudswoorden als "paard" zijn geen constanten, omdat hun denotatie kan variëren. De waarheidswaarde van "Alle paarden zijn dood" kan daardoor per situatie verschillen, maar de betekenis van "alle" en "zijn" ligt telkens vast. Neem een redenering als: Alle paarden zijn vissen;Alle vissen zijn horloges→ Alle paarden zijn horloges Het is eenvoudig in te zien dat de redenering van dit syllogisme geldig is, hoewel de premissen onwaar zijn. Het patroon is: Alle A zijn B;Alle B zijn C→ Alle A zijn C Dit patroon is verkregen door alle inhoudswoorden te vervangen door symbolen, en de zogenaamdelogische constanten (alle, zijn) te laten staan.Deze denkwijze is voor het eerst uitgebreid beschreven door Aristoteles. (nl)
- Stała logiczna – obok zmiennych i ewentualnie znaków interpunkcyjnych jeden z typów wyrażeń teorii logicznej. Zbiór stałych logicznych wchodzących w skład słownika danej teorii logicznej określa się zwykle przez wyliczenie. Do stałych logicznych zaliczają się funktory prawdziwościowe, kwantyfikatory, znak należenia do zbioru znak deskrypcji, znak abstrakcji itp. Istniejące próby określenia jakichś wspólnych cech charakterystycznych dla stałych logicznych innych niż określenie ich przez podanie ich listy należą raczej do filozofii logiki niż do samej logiki – nie są więc to próby posługujące się sformułowaniami ścisłymi. Jedną z bardziej popularnych takich prób jest odwołanie się do faktu, że stałe logiczne występują w każdym języku, niezależnie od treści przeprowadzanych w nim rozważań. (pl)
- Constante é uma área reservada para armazenamento de uma informação que não se alterará em todo o ciclo de vida do algoritmo, ou seja, tem sempre o mesmo valor dentro de um sistema. Um exemplo disso são as constantes da biblioteca matemática de qualquer linguagem de programação; outro exemplo se refere ao valor de PI que é o mesmo(3,14) e, a menos que alguém prove o contrário, ele não necessita ser alterado.Em lógica, no Cálculo Quantificacional Clássico as constantes podem ser divididas em dois grupos: as constantes lógicas e as constantes não-lógicas. As constantes não lógicas, por sua vez, podem ser classificadas em constantes individuais e constantes de predicado.Em lógica, mais precisamente em lógica clássica proposicional de primeira ordem uma constante representa uma função "0-ária" (zero-ária). (pt)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)