predicate 表明,断言,基于 来自拉丁语praedicare,预测,断言,声称,来自prae,在前,早于,dicare,说,声称,词源同diction.并引申诸相关词义。英文词源predicate predicate: see indicate predicate (n.) mid-15c., a term in logic, from Middle French predicat and directly from Medieval Latin predicatum, from ...
predicate - (logic) what is predicated of the subject of a proposition; the second term in a proposition is predicated of the first term by means of the copula; "`Socrates is a man' predicates manhood of Socrates" logic - the branch of philosophy that analyzes inference term - one of th...
Embedding of predicate logic in term logicdoi:10.1007/978-3-540-36203-6_4Hermes, HansUniversität Freiburg i. Br., Math. Institut
(logic) what is predicated of the subject of a proposition; the second term in a proposition is predicated of the first term by means of the copula; "`Socrates is a man' predicates manhood of Socrates" one of the two main constituents of a sentence; the predicate contains the verb and ...
predicate - (logic) what is predicated of the subject of a proposition; the second term in a proposition is predicated of the first term by means of the copula; "`Socrates is a man' predicates manhood of Socrates" logic - the branch of philosophy that analyzes inference term - one of th...
RegisterLog in Sign up with one click: Facebook Twitter Google Share on Facebook PL (redirected fromPredicate logic) Dictionary Thesaurus Encyclopedia Wikipedia Related to Predicate logic:propositional logic AcronymDefinition PLPlace PLPublic Law
predicate 表明,断言,基于 来自拉丁语praedicare,预测,断言,声称,来自prae,在前,早于,dicare,说,声称,词源同diction.并引申诸相关词义。 英文词源 predicate predicate:see indicate predicate (n.) mid-15c., a term in logic, from Middle Frenchpredicatand directly from Medieval Latinpredicatum, from Latin...
Maths - Predicate Logic Predicate Logic (or also called Predicate Calculus) is the term for a formal and symbolic system of logic like first-order logic, second-order logic and so on.It is defined over some (possibly infinite) set. It requires some form of assignment or relationship of the...
(2) The term is also used in linguistics in a sense derived from logic, particularly when notions from the system of predicate calculus are used in grammatical or semantic analysis. (1)分析语法功能的术语,指句子结构的一大组构成分,即传统的句子二分法中除主语外其他必需成分的总和。
mid-15c., a term in logic, "that which is said of a subject," from Old Frenchpredicatand directly from Medieval Latinpredicatum, from Latinpraedicatum"that which is said of the subject," noun use of neuter past participle ofpraedicare"assert, proclaim, declare publicly," fromprae-"for...