英语词汇“predicate calculus”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

Calculus concerned with changes in functions due to finite changes in variables, and which does not assume continuity

A branch of calculus which enables calculation of the rate at which one quantity changes in relation to another, used to find velocities, slopes of curves, etc

A branch of calculus concerned with finding integrals and applying them to find eg the areas enclosed by curves, the solution of differential equations, etc

predicate calculus

A notation system by which the logical structure of simple propositions may be represented

propositional calculus

A notation system in which symbols representing propositions and logical constants such as negation, conjunction and implication are used to indicate the logical relations between propositions

predicate /predˈi-kāt/

transitive verb

To affirm or assert
To state as a property or attribute of the subject of a proposition (logic)
To imply, entail the existence of
To make (an expression) the predicate of a proposition
To base on certain grounds (with on, upon; US)
To preach (rare)
Sometimes erroneously used for predict

noun /-kət/

That which is predicated of the subject of a proposition, or the second term of a proposition, affirmed or denied by means of the copula (logic)
The word or words in a sentence by which something is said about the subject (grammar)

ORIGIN: L praedicāre, -ātum to proclaim, from prae forth, and dicāre (orig) to proclaim

predicāˈtion noun

predicative /pri-dikˈə-tiv or predˈi-kā-tiv/ adjective

(of an adjective) contained within, esp normally, the predicate of a sentence (grammar)
Expressing predication or affirmation
Affirming or asserting

predicˈatively adverb

predˈicatory adjective

Affirmative

predicate calculus see under calculus

calculus /kalˈkyŭ-ləs/

predicate /predˈi-kāt/