Monadic predicate calculus
http://dbpedia.org/resource/Monadic_predicate_calculus
In logic, the monadic predicate calculus (also called monadic first-order logic) is the fragment of first-order logic in which all relation symbols in the signature are monadic (that is, they take only one argument), and there are no function symbols. All atomic formulas are thus of the form , where is a relation symbol and is a variable. Monadic predicate calculus can be contrasted with polyadic predicate calculus, which allows relation symbols that take two or more arguments.
rdf:langString
En logique mathématique, la logique monadique du premier ordre est le fragment syntaxique de la logique du premier ordre où il n'y a que des prédicats unaires. Les syllogismes usuels, comme ceux issus de la Logique de Port-Royal relèvent de cette logique partielle.
rdf:langString
Na lógica, o calculo monádico de predicados (também referido como lógica de primeira ordem monádica) é um fragmento da lógica de primeira ordem na qual, todos os simbolos de relações da assinatura são monádicas (isso é, só podem receber um argumento), e não existem símbolos de funções. Todas Fórmula atômicas são da forma , onde é um símbolo de relação e é uma variável. Calculo monádico de predicados pode ser contrastado com o calculo poliádico de predicados, que possibilita símbolos relacionais que aceitam dois ou mais argumentos.
rdf:langString
У логіці, одномісне числення предикатів — це фрагмент логіки першого порядку, в якому всі символи відношень у сигнатурі є одномісними (тобто вони беруть лише один аргумент), і немає функціональних символів. Таким чином, усі атомні формули мають вигляд , де є символом відношення і є змінною . Одномісне числення предиката може бути протиставлене з поліадичним численням предиката, яке дозволяє використовувати символи відношення, які беруть два або більше аргументів
rdf:langString
在逻辑中，一元谓词演算是所有谓词字母都是一元（就是只接受一个参数）并且没有函数字母的谓词演算。所有原子公式都有形式 ，这里的 是谓词字母而 是变量。
rdf:langString
rdf:langString
Logique monadique du premier ordre
rdf:langString
Monadic predicate calculus
rdf:langString
Lógica de segunda ordem monádica
rdf:langString
一元谓词演算
rdf:langString
Числення одномісних предикатів
xsd:integer
8015680
xsd:integer
1052086753
rdf:langString
In logic, the monadic predicate calculus (also called monadic first-order logic) is the fragment of first-order logic in which all relation symbols in the signature are monadic (that is, they take only one argument), and there are no function symbols. All atomic formulas are thus of the form , where is a relation symbol and is a variable. Monadic predicate calculus can be contrasted with polyadic predicate calculus, which allows relation symbols that take two or more arguments.
rdf:langString
En logique mathématique, la logique monadique du premier ordre est le fragment syntaxique de la logique du premier ordre où il n'y a que des prédicats unaires. Les syllogismes usuels, comme ceux issus de la Logique de Port-Royal relèvent de cette logique partielle.
rdf:langString
Na lógica, o calculo monádico de predicados (também referido como lógica de primeira ordem monádica) é um fragmento da lógica de primeira ordem na qual, todos os simbolos de relações da assinatura são monádicas (isso é, só podem receber um argumento), e não existem símbolos de funções. Todas Fórmula atômicas são da forma , onde é um símbolo de relação e é uma variável. Calculo monádico de predicados pode ser contrastado com o calculo poliádico de predicados, que possibilita símbolos relacionais que aceitam dois ou mais argumentos.
rdf:langString
У логіці, одномісне числення предикатів — це фрагмент логіки першого порядку, в якому всі символи відношень у сигнатурі є одномісними (тобто вони беруть лише один аргумент), і немає функціональних символів. Таким чином, усі атомні формули мають вигляд , де є символом відношення і є змінною . Одномісне числення предиката може бути протиставлене з поліадичним численням предиката, яке дозволяє використовувати символи відношення, які беруть два або більше аргументів
rdf:langString
在逻辑中，一元谓词演算是所有谓词字母都是一元（就是只接受一个参数）并且没有函数字母的谓词演算。所有原子公式都有形式 ，这里的 是谓词字母而 是变量。
xsd:nonNegativeInteger
4646