-
1 predicate
'predikət(what is said about the subject of a sentence: We live in London; The president of the republic died.) verbal, predikatIsubst. \/ˈpredɪkət\/, \/ˈpredɪkeɪt\/( grammatikk) predikat, verbalIIverb \/ˈpredɪkeɪt\/1) påstå, si2) forkynne, proklamere3) grunne, bygge, baserebe predicated (up)on ( også) basere seg på, bygge på -
2 complement
'kompləmənt 1. noun1) (in a sentence, the words of the predicate, not including the verb.) predikatsord, predikativ2) ((something added to make) a complete number or amount.) tillegg, utfylling2. verb(to complete, fill up.) fullstendiggjøre, utfylle, fylle oppIsubst. \/ˈkɒmplɪmənt\/1) komplement, utfyllingsom utfyllende del \/ som supplement2) fullt antall, full styrke3) ( grammatikk) predikativ, predikatsordfull complement fulltallig besetningthe ship's complement (fartøyets) befal og mannskapcomplement of an angle ( geometri) komplementærvinkelIIverb \/ˈkɒmplɪment\/, \/ˌkɒmplɪˈment\/komplettere, utgjøre et komplement til, supplerecomplement each other utfylle hverandre -
3 clause
klo:z1) (a part of a sentence having its own subject and predicate, eg either of the two parts of this sentence: The sentence `Mary has a friend who is rich' contains a main clause and a subordinate (relative) clause.) setning2) (a paragraph in a contract, will, or act of parliament.) klausul, paragraf, bestemmelseartikkel--------klausulsubst. \/klɔːz\/1) ( grammatikk) setning2) klausul, bestemmelse, artikkel, paragraf, post i paragraf
См. также в других словарях:
quantification of the predicate — (logic) The attachment of a sign of quantity to the predicate • • • Main Entry: ↑quantify … Useful english dictionary
The False Subtlety of the Four Syllogistic Figures — Proved ( Die falsche Spitzfindigkeit der vier syllogistischen Figuren erwiesen ) was an essay published by Immanuel Kant in 1762.ection I General conception of the Nature of Ratiocination A judgment is the comparison of a subject or thing with a… … Wikipedia
The Syro-Aramaic Reading of the Koran — … Wikipedia
predicate calculus — The logical calculus in which the expressions include predicate letters, variables, and quantifiers, names, and operation letters, as well as the expressions for truth functions and the propositional variables of the propositional calculus . The… … Philosophy dictionary
Predicate — Pred i*cate, n. [L. praedicatum, neut. of praedicatus, p. p. praedicare: cf. F. pr[ e]dicat. See {Predicate}, v. t.] 1. (Logic) That which is affirmed or denied of the subject. In these propositions, Paper is white, Ink is not white, whiteness is … The Collaborative International Dictionary of English
The Real Presence of Christ in the Eucharist — The Real Presence of Christ in the Eucharist † Catholic Encyclopedia ► The Real Presence of Christ in the Eucharist In this article we shall consider: ♦ the fact of the Real Presence, which is, indeed, the central dogma; ♦ the … Catholic encyclopedia
Predicate (grammar) — In traditional grammar, a predicate is one of the two main parts of a sentence (the other being the subject, which the predicate modifies). In current linguistic semantics, a predicate is an expression that can be true of something. Thus, the… … Wikipedia
Predicate variable — In first order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first order logic (FOL) they can be more… … Wikipedia
predicate calculus — Logic. See functional calculus. Also called predicate logic. [1945 50] * * * Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as all and some. The predicate calculus … Universalium
Predicate abstraction — In logic, predicate abstraction is the result of creating a predicate from an open sentence. If Q(x) is any formula with x free then the predicate formed from that sentence is (λx.Q(x)), where λ is an abstraction operator. The resultant predicate … Wikipedia
Predicate logic — In mathematical logic, predicate logic is the generic term for symbolic formal systems like first order logic, second order logic, many sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulas… … Wikipedia