monadic

monadic
A predicate is monadic if it requires only one singular term to make a sentence: ‘…is mortal’ is monadic. The contrast is with n-adic predicates (relational predicates) that require n places to be filled where n > 1. The monadic predicate calculus is a fragment of the full predicate calculus restricted to dealing with monadic predicates.

Philosophy dictionary. . 2011.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Monadic — Mo*nad ic, Monadical Mo*nad ic*al, a. Of, pertaining to, or like, a monad, in any of its senses. See {Monad}, n. Dr. H. More. [1913 Webster] …   The Collaborative International Dictionary of English

  • Monadic — Wikipedia does not have an encyclopedia article for Monadic (search results). You may want to read Wiktionary s entry on monadic instead.wiktionary:Special:Search/monadic …   Wikipedia

  • monadic — (ˈ)mō|nadik, (ˈ)mä| adjective Etymology: Greek monadikos, from monad , monas monad + ikos ic 1. a. : consisting of monads b. : of, relating to, or like monads : atomistic, individual …   Useful english dictionary

  • Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… …   Wikipedia

  • Monadic Boolean algebra — In abstract algebra, a monadic Boolean algebra is an algebraic structure with signature 〈A, ·, +, , 0, 1, ∃〉 of type 〈2,2,1,0,0,1〉, where 〈A, ·, +, , 0, 1〉 is a Boolean algebra. The prefixed unary operator ∃ denotes the existential quantifier,… …   Wikipedia

  • Monadic plane — Planes of existence Gross and subtle bodies Theosophy Full list 1. Spiritual plane: Divine S …   Wikipedia

  • monadic predicate logic — noun The fragment of predicate logic in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters …   Wiktionary

  • monadic operation — vienvietė operacija statusas T sritis automatika atitikmenys: angl. monadic operation; unary operation vok. einstellige Operation, f; monadische Operation, f; unäre Operation, f rus. операция с одним операндом, f; унарная операция, f pranc.… …   Automatikos terminų žodynas

  • monadic operator — vienvietis operatorius statusas T sritis automatika atitikmenys: angl. monadic operator; unary operator vok. einstelliger Operator, m; monadischer Operator, m rus. одноместный оператор, m; унарный оператор, m pranc. opérateur unaire, m …   Automatikos terminų žodynas

  • monadic Boolean operator — vienvietis loginis operatorius statusas T sritis automatika atitikmenys: angl. monadic Boolean operator vok. monadischer Boolescher Operator, m rus. одноместный логический оператор, m pranc. opérateur logique à une place, m; opérateur monadique… …   Automatikos terminų žodynas

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”