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.
| Attributes | Values |
|---|
| rdfs:label
| - Logique monadique du premier ordre (fr)
- Monadic predicate calculus (en)
- Lógica de segunda ordem monádica (pt)
- 一元谓词演算 (zh)
- Числення одномісних предикатів (uk)
|
| rdfs:comment
| - 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. (en)
- 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. (fr)
- 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. (pt)
- У логіці, одномісне числення предикатів — це фрагмент логіки першого порядку, в якому всі символи відношень у сигнатурі є одномісними (тобто вони беруть лише один аргумент), і немає функціональних символів. Таким чином, усі атомні формули мають вигляд , де є символом відношення і є змінною . Одномісне числення предиката може бути протиставлене з поліадичним численням предиката, яке дозволяє використовувати символи відношення, які беруть два або більше аргументів (uk)
- 在逻辑中，一元谓词演算是所有谓词字母都是一元（就是只接受一个参数）并且没有函数字母的谓词演算。所有原子公式都有形式 ，这里的 是谓词字母而 是变量。 (zh)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - 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. (en)
- 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. (fr)
- 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. (pt)
- У логіці, одномісне числення предикатів — це фрагмент логіки першого порядку, в якому всі символи відношень у сигнатурі є одномісними (тобто вони беруть лише один аргумент), і немає функціональних символів. Таким чином, усі атомні формули мають вигляд , де є символом відношення і є змінною . Одномісне числення предиката може бути протиставлене з поліадичним численням предиката, яке дозволяє використовувати символи відношення, які беруть два або більше аргументів (uk)
- 在逻辑中，一元谓词演算是所有谓词字母都是一元（就是只接受一个参数）并且没有函数字母的谓词演算。所有原子公式都有形式 ，这里的 是谓词字母而 是变量。 (zh)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is Wikipage disambiguates
of | |
| is foaf:primaryTopic
of | |
![[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)