请输入您要查询的英文单词：

　

单词 predicate calculus
释义

calculus /kalˈkyŭ-ləs/

noun
  1. A system of computation or calculation used in higher branches of mathematics permitting the manipulation of continually varying quantities (pl calˈculuses)
  2. A stone-like concretion which forms in certain vessels or organs of the body, eg the kidney or gall bladder (pl calˈculī)
  3. The mixture of plaque and saliva that forms a hard brownish-yellow layer on the teeth, tartar
ORIGIN: For ety see calculate

calˈcular adjective

Relating to the mathematical calculus

calˈculary, calˈculose or calˈculous adjective

Relating to or affected with stone or with gravel

calculus of finite differences

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

differential calculus

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

integral calculus

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
  1. To affirm or assert
  2. To state as a property or attribute of the subject of a proposition (logic)
  3. To imply, entail the existence of
  4. To make (an expression) the predicate of a proposition
  5. To base on certain grounds (with on, upon; US)
  6. To preach (rare)
  7. Sometimes erroneously used for predict
noun /-kət/
  1. 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)
  2. 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

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

predicˈatively adverb

predˈicatory adjective

Affirmative

predicate calculus see under calculus
随便看

　

英语词典包含305067条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。

　

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2024/12/23 5:23:56