Monadic predicate calculus (original) (raw)
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.
| Property | Value |
|---|---|
| dbo: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) |
| dbo:wikiPageID | 8015680 (xsd:integer) |
| dbo:wikiPageLength | 4646 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1052086753 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Problem_of_multiple_generality dbr:Relation_(mathematics) dbr:Unary_operation dbr:Decidability_(logic) dbr:Decision_problem dbr:Signature_(mathematical_logic) dbr:Gottlob_Frege dbr:Arity dbr:Logic dbc:Logical_calculi dbr:Propositional_logic dbr:Augustus_De_Morgan dbr:First-order_logic dbr:Logical_equivalence dbr:Quantifier_(logic) dbr:Atomic_formula dbc:Predicate_logic dbr:Charles_Sanders_Peirce dbr:Syllogism dbr:Term_logic dbr:Domain_of_discourse dbr:Second-order_logic dbr:Variable_(mathematics) dbr:Polyadic_relation dbr:Monadic_(arity) dbr:Logical_validity dbr:Subset_variables |
| dbp:wikiPageUsesTemplate | dbt:Citation_needed dbt:Portal dbt:Mathematical_logic |
| dct:subject | dbc:Logical_calculi dbc:Predicate_logic |
| 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) |
| rdfs:label | Logique monadique du premier ordre (fr) Monadic predicate calculus (en) Lógica de segunda ordem monádica (pt) 一元谓词演算 (zh) Числення одномісних предикатів (uk) |
| owl:sameAs | freebase:Monadic predicate calculus wikidata:Monadic predicate calculus dbpedia-fr:Monadic predicate calculus dbpedia-pt:Monadic predicate calculus dbpedia-uk:Monadic predicate calculus dbpedia-zh:Monadic predicate calculus https://global.dbpedia.org/id/4rYgS |
| prov:wasDerivedFrom | wikipedia-en:Monadic_predicate_calculus?oldid=1052086753&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Monadic_predicate_calculus |
| is dbo:wikiPageDisambiguates of | dbr:Monadic |
| is dbo:wikiPageRedirects of | dbr:Monadic_first-order_logic dbr:First_order_monadic_predicate_logic dbr:Monadic_first-order_logic_of_order dbr:Monadic_logic dbr:Monadic_predicate_logic |
| is dbo:wikiPageWikiLink of | dbr:Monadic dbr:Metalogic dbr:Decidability_(logic) dbr:Index_of_philosophy_articles_(I–Q) dbr:Arity dbr:Heinrich_Behmann dbr:Monadic_first-order_logic dbr:Regular_language dbr:Monadic_second-order_logic dbr:Nested_word dbr:First-order_predicate dbr:Vector_logic dbr:Outline_of_logic dbr:Yuri_Gurevich dbr:First_order_monadic_predicate_logic dbr:Monadic_first-order_logic_of_order dbr:Monadic_logic dbr:Monadic_predicate_logic |
| is foaf:primaryTopic of | wikipedia-en:Monadic_predicate_calculus |