This HTML5 document contains 145 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n29http://plato.stanford.edu/entries/logical-constants/
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-dahttp://da.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n30https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-nohttp://no.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:Universal_quantification
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Deductive_reasoning
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Index_of_logic_articles
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Index_of_philosophy_articles_(I–Q)
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Interpretation_(logic)
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:List_of_philosophical_concepts
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Gottlob_Frege
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Logic
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Functional_predicate
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Symbol_(formal)
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Syntax_(logic)
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Truth_function
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Logical_truth
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Paraconsistent_logic
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Alan_Ross_Anderson
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Dialogical_logic
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:History_of_mathematical_notation
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Logical_connective
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Logical_constant
rdf:type
yago:Content105809192 yago:Idea105833840 yago:Symbol106806469 yago:WikicatConceptsInLogic yago:WikicatLogicSymbols yago:Concept105835747 yago:Cognition100023271 yago:PsychologicalFeature100023100 yago:Communication100033020 yago:Signal106791372 yago:Abstraction100002137
rdfs:label
Logische constante Constant lògica Constante lógica Konstante (Logik) Stała logiczna 論理定項 Constantes lógicas Логическая константа Costante logica Логічна константа Logical constant
rdfs:comment
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" 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. 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. 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. У логіці логічною константою формальної мови є символ, який має одне й те ж самесемантичне значення при будь-якій інтерпретації в .Два дуже важливих типи логічних констант це — логічні сполучники та квантори.Предикат рівності (зазвичай позначається "=") так само розглядається як логічна константа в багатьох системах логіки. Питання «Що таке логічна константа?» є одним із фундаментальних питань філософії логіки. Тобто які спеціальні властивості констант визначають їх як логічні по своїй природі? Наведені символи зазвичай розглядаються як логічні константи: В логике, логической константой формального языка является символ, который имеет то же семантическое значение при любой в . Двумя важными типами логических констант являются логические связки и кванторы. Предикат равенства (обычно пишется «=») также рассматривается как логическая константа во многих системах логики. Некоторые символы, которые обычно рассматриваются как логические константы: Для обозначения многих логических констант используются и другие символы, например, символ «&» для логического «и». 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 論理学において、言語 の論理定項 (英: logical constant) は、の全ての解釈の下で同じ意味値を持つ記号である。 論理定項の二つの重要な型は、論理結合子と量化記号である。等式述語（通常'='と書かれる）もまた、多くの論理体系において論理定項として扱われる。 一般的に論理定項として扱われるいくつかの記号を以下に示す： 上記のリスト以外の記号が一般的にさまざま論理定項を記すために用いられることもある。例えば、記号 "&" は 論理和を表す。 論理学の哲学における根本的な疑問の一つに、"論理定項とは何か?"というものがある。一体、論理定項のどのような特徴がそれらを論理的にしているのか？ 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: 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ó.
dcterms:subject
dbc:Philosophical_logic dbc:Logical_truth dbc:Concepts_in_logic dbc:Syntax_(logic) dbc:Logic_symbols
dbo:wikiPageID
4089175
dbo:wikiPageRevisionID
1124890559
dbo:wikiPageWikiLink
dbr:Formal_system dbr:Logical_value dbr:Symbol_(formal) dbc:Philosophical_logic dbr:Material_conditional dbr:Quantifier_(logic) dbr:False_(logic) dbc:Logical_truth dbr:Formal_language dbr:Gottlob_Frege dbr:Logical_conjunction dbr:Logical_and dbr:Logical_connective dbr:Logical_disjunction dbr:Relation_(mathematics) dbr:Non-logical_symbol dbr:Equality_(mathematics) dbr:Logic dbr:Complement_(set_theory) dbc:Concepts_in_logic dbr:Formal_semantics_(logic) dbr:Logical_negation dbc:Syntax_(logic) dbr:Bertrand_Russell dbr:There_exists dbr:Interpretation_(logic) dbc:Logic_symbols dbr:The_Principles_of_Mathematics dbr:Primitive_notion dbr:For_all dbr:Philosophy_of_logic dbr:Converse_relation
dbo:wikiPageExternalLink
n29:
owl:sameAs
dbpedia-ru:Логическая_константа dbpedia-es:Constante_lógica dbpedia-it:Costante_logica dbpedia-ja:論理定項 dbpedia-ca:Constant_lògica dbpedia-no:Logisk_konstant dbpedia-uk:Логічна_константа dbpedia-de:Konstante_(Logik) wikidata:Q18647219 dbpedia-pl:Stała_logiczna wikidata:Q1782658 yago-res:Logical_constant dbpedia-nl:Logische_constante dbpedia-pt:Constantes_lógicas dbpedia-da:Logisk_konnektiv freebase:m.0bhfpy n30:iiSX
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Logic-stub dbt:Mathematical_logic
dbo:abstract
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. 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. В логике, логической константой формального языка является символ, который имеет то же семантическое значение при любой в . Двумя важными типами логических констант являются логические связки и кванторы. Предикат равенства (обычно пишется «=») также рассматривается как логическая константа во многих системах логики. Некоторые символы, которые обычно рассматриваются как логические константы: Для обозначения многих логических констант используются и другие символы, например, символ «&» для логического «и». Вопрос «Что такое логическая константа?» является одним из фундаментальных вопросов философии логики. У логіці логічною константою формальної мови є символ, який має одне й те ж самесемантичне значення при будь-якій інтерпретації в .Два дуже важливих типи логічних констант це — логічні сполучники та квантори.Предикат рівності (зазвичай позначається "=") так само розглядається як логічна константа в багатьох системах логіки. Питання «Що таке логічна константа?» є одним із фундаментальних питань філософії логіки. Тобто які спеціальні властивості констант визначають їх як логічні по своїй природі? Наведені символи зазвичай розглядаються як логічні константи: Багато з цих логічних констант позначаються по іншому, наприклад, символ «&» також використовують для позначення логічного «і». 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. 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ń. 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ó. 論理学において、言語 の論理定項 (英: logical constant) は、の全ての解釈の下で同じ意味値を持つ記号である。 論理定項の二つの重要な型は、論理結合子と量化記号である。等式述語（通常'='と書かれる）もまた、多くの論理体系において論理定項として扱われる。 一般的に論理定項として扱われるいくつかの記号を以下に示す： 上記のリスト以外の記号が一般的にさまざま論理定項を記すために用いられることもある。例えば、記号 "&" は 論理和を表す。 論理学の哲学における根本的な疑問の一つに、"論理定項とは何か?"というものがある。一体、論理定項のどのような特徴がそれらを論理的にしているのか？ 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. 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).
prov:wasDerivedFrom
wikipedia-en:Logical_constant?oldid=1124890559&ns=0
dbo:wikiPageLength
3005
foaf:isPrimaryTopicOf
wikipedia-en:Logical_constant
Subject Item
dbr:Primitive_notion
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Atomic_sentence
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Herbrand_interpretation
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:BL_(logic)
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Something_(concept)
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Constant
dbo:wikiPageWikiLink
dbr:Logical_constant
dbo:wikiPageDisambiguates
dbr:Logical_constant
Subject Item
dbr:Certain_answer
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Satisfiability
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Existential_quantification
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Semantic_holism
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Non-classical_logic
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Non-logical_symbol
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Philosophy_of_logic
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Outline_of_logic
dbo:wikiPageWikiLink
dbr:Logical_constant
Subject Item
dbr:Constant_(logic)
dbo:wikiPageWikiLink
dbr:Logical_constant
dbo:wikiPageRedirects
dbr:Logical_constant
Subject Item
dbr:Logical_constants
dbo:wikiPageWikiLink
dbr:Logical_constant
dbo:wikiPageRedirects
dbr:Logical_constant
Subject Item
dbr:Logical_term
dbo:wikiPageWikiLink
dbr:Logical_constant
dbo:wikiPageRedirects
dbr:Logical_constant
Subject Item
wikipedia-en:Logical_constant
foaf:primaryTopic
dbr:Logical_constant