About: Predicate variable

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Predicate variable Goto Sponge NotDistinct Permalink

An Entity of Type : yago:Symbol106806469, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FPredicate_variable&invfp=IFP_OFF&sas=SAME_AS_OFF

In mathematical logic, a predicate variable is a predicate letter which functions as a "placeholder" for a relation (between terms), but which has not been specifically assigned any particular relation (or meaning). Common symbols for denoting predicate variables include capital roman letters such as , and , or lower case roman letters, e.g., . In first-order logic, they can be more properly called metalinguistic variables. In higher-order logic, predicate variables correspond to propositional variables which can stand for well-formed formulas of the same logic, and such variables can be quantified by means of (at least) second-order quantifiers.

Attributes	Values
rdf:type	yago:WikicatLogicSymbols yago:Abstraction100002137 yago:Communication100033020 radio station yago:Signal106791372 yago:Symbol106806469
rdfs:label	Variabile predicativa (it) Predicate variable (en) 谓词变量 (zh)
rdfs:comment	In mathematical logic, a predicate variable is a predicate letter which functions as a "placeholder" for a relation (between terms), but which has not been specifically assigned any particular relation (or meaning). Common symbols for denoting predicate variables include capital roman letters such as , and , or lower case roman letters, e.g., . In first-order logic, they can be more properly called metalinguistic variables. In higher-order logic, predicate variables correspond to propositional variables which can stand for well-formed formulas of the same logic, and such variables can be quantified by means of (at least) second-order quantifiers. (en) 在一阶逻辑中，谓词变量是表示(在项之间的)一个关系的谓词字母，这个关系还没有被特殊的指派任何特定的关系(或意义(内涵))。在一阶逻辑(FOL)中它们可以被更合适的到叫做"元变量"。在高阶逻辑中谓词变量对应于"命题变量"，它可以表示同一个逻辑中的合式公式，而这种变量可以被通过(至少)二阶量词的方式来量化。在元变量意义上，谓词变量可以用来定义公理模式。谓词变量应当区别于谓词常量，它可以被表示为要么通过不同的(排他的)谓词字母集合，要么通过在其论域中实际上有自己特殊的意义的符号: 比如。如果字母用于谓词常量又用于谓词变量，则必须有区分它们的方式。例如，字母 W, X, Y, Z 可以被指定表示谓词变量，而字母 A, B, C,..., U, V 可以表示谓词常量。如果这些字母不够，则可以添加数字下标，比如 X1, X2, X3,... 但是，如果谓词变量被认知(或定义)为实际上属于谓词演算的词汇表，则它们实际上是谓词元变量，而余下的谓词字母就叫做“谓词字母”。元变量因此被理解为用来实际上编码公理模式和定理模式(推导自公理模式)。“谓词字母”实际上是常量还是变量是个微妙的要点: 是谓词常量，而是数值常量，它们不是同样意义的常量。 (zh)
dcterms:subject	Logic symbols Predicate logic
Wikipage page ID	1011332 (xsd:integer)
Wikipage revision ID	1115302807 (xsd:integer)
Link from a Wikipage to another Wikipage	Rudolf Carnap Logic symbols Mathematical logic Arity Propositional logic Propositional function First-order logic Well-formed formula Quantifier (logic) Predicate logic Latin script Higher-order logic Domain of discourse Axiom schema Metalinguistic variable Second-order logic Propositional variable
sameAs	Predicate variable Predicate variable Predicate variable Predicate variable Predicate variable Predicate variable
dbp:wikiPageUsesTemplate	dbt:Annotated_link dbt:Isbn dbt:Mathematical_logic
has abstract	In mathematical logic, a predicate variable is a predicate letter which functions as a "placeholder" for a relation (between terms), but which has not been specifically assigned any particular relation (or meaning). Common symbols for denoting predicate variables include capital roman letters such as , and , or lower case roman letters, e.g., . In first-order logic, they can be more properly called metalinguistic variables. In higher-order logic, predicate variables correspond to propositional variables which can stand for well-formed formulas of the same logic, and such variables can be quantified by means of (at least) second-order quantifiers. (en) 在一阶逻辑中，谓词变量是表示(在项之间的)一个关系的谓词字母，这个关系还没有被特殊的指派任何特定的关系(或意义(内涵))。在一阶逻辑(FOL)中它们可以被更合适的到叫做"元变量"。在高阶逻辑中谓词变量对应于"命题变量"，它可以表示同一个逻辑中的合式公式，而这种变量可以被通过(至少)二阶量词的方式来量化。在元变量意义上，谓词变量可以用来定义公理模式。谓词变量应当区别于谓词常量，它可以被表示为要么通过不同的(排他的)谓词字母集合，要么通过在其论域中实际上有自己特殊的意义的符号: 比如。如果字母用于谓词常量又用于谓词变量，则必须有区分它们的方式。例如，字母 W, X, Y, Z 可以被指定表示谓词变量，而字母 A, B, C,..., U, V 可以表示谓词常量。如果这些字母不够，则可以添加数字下标，比如 X1, X2, X3,... 但是，如果谓词变量被认知(或定义)为实际上属于谓词演算的词汇表，则它们实际上是谓词元变量，而余下的谓词字母就叫做“谓词字母”。元变量因此被理解为用来实际上编码公理模式和定理模式(推导自公理模式)。“谓词字母”实际上是常量还是变量是个微妙的要点: 是谓词常量，而是数值常量，它们不是同样意义的常量。另一种选择是使用小写希腊字母来表示这种元变量谓词。那么，这种字母可以用来表示谓词演算的全部合式公式: wff 的任何自由变量项都可以被合成为希腊字母谓词的项。这是建立高阶逻辑的第一步。如果只允许"谓词变量"被约束到零元数的谓词字母(没有参数)，这种字母实际上表示命题，则这种变量实际上是命题变量，允许用二阶量词约束这种命题变量的任何谓词逻辑都是二阶谓词演算或二阶逻辑。如果还允许谓词变量被约束到是一元或更多元的谓词字母，这时这种字母表示命题函数，使得参数的定义域被映射到不同命题的值域，这时这种变量可以被量词约束到这种命题的集合，那么结果就是高阶谓词演算或高阶逻辑。 (zh)
gold:hypernym	Letter
prov:wasDerivedFrom	wikipedia-en:Predicate_variable?oldid=1115302807&ns=0
page length (characters) of wiki page	4084 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Predicate_variable
is Link from a Wikipage to another Wikipage of	Universal quantification Modal operator Proposition Datalog Predicate (mathematical logic) Something (concept) Second-order logic Structure mapping engine Propositional variable Outline of logic Relation symbol Predicate symbol
is Wikipage redirect of	Relation symbol Predicate symbol
is foaf:primaryTopic of	wikipedia-en:Predicate_variable

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software