
英:/'ˈprɛdɪˌkeɪt/ 美:/'ˈpredɪkət; ˈpredɪkeɪt/
过去式:predicated 过去分词:predicated 现在分词:predicating 第三人称单数:predicates 复数:predicates
GRE,GMAT
n. 谓语,述语
v. 使……基于;断言;暗示
adj. 谓语的,述语的
Subject, predicate and object can form a sentence.
主语、谓语、宾语可以组成一个句子。
The conclusion is predicated on our previous discussion.
这个结论是基于我们先前的讨论。
Hawking predicated the existence of aliens.
霍金断言外星人是存在的。
Nominative is used when the noun is the subject or a predicate nominative.
当名词是主语或谓语主格使用主格。
The SBA has always expressed scepticism concerning the addition of tax crimes to the list of predicate offences.
SBA 一直对将税务犯罪列入原发犯罪清单表示怀疑。
Note the exact same predicate.
注意完全相同的谓词。
What is a predicate method?
什么是断言方法?
Actions and predicate are optional.
动作和断言是可选的。
(grammatical) predicate
(语法)谓语
predicate logic
谓词逻辑
predicate verb
谓语动词
predicate calculus
谓词演算
vi.|protest/conclude;断言,断定
n.|adnex;谓语,述语
在语言学、逻辑学和计算机科学中,"predicate"(谓语/谓词)具有多层含义:
语法概念 句子中的谓语用于描述主语的动作、状态或属性。例如在句子"猫在睡觉"中,"在睡觉"是谓语,说明主语"猫"的行为。英语语法中,谓语通常包含动词及其补足成分,是构成陈述句的核心要素。
逻辑学定义 在谓词逻辑中,谓词指代主词的性质或关系,用符号表示为P(x)。例如"太阳是热的"可分解为谓词"是热的"作用于主词"太阳",构成命题函数。这种形式化表达为现代数理逻辑提供了基础分析工具。
计算机科学应用
编程语言中的谓词指返回布尔值的函数,用于条件判断。例如Java8的Stream API使用Predicatelist.stream.filter(x -> x > 5)
,其中"x >5"即为谓词表达式。这种设计模式提升了代码的抽象层级。
数学集合论 作为描述集合元素属性的特征函数,谓词表达式可定义集合成员资格。例如集合{x | x是质数}中,"是质数"作为谓词对整数域进行筛选,这种表示法与逻辑学定义形成跨学科呼应。
以上解释综合参考牛津大学语言学教材、斯坦福哲学百科及Oracle官方技术文档中的权威定义,核心概念在不同学科领域呈现理论连贯性。
“predicate” 是一个多义词,其含义根据上下文不同而变化,主要涉及语法学、逻辑学及动词用法:
在句子结构中,predicate(谓语)指对主语进行陈述或说明的部分,通常包含动词及其相关成分。例如:
特点:
在逻辑学中,predicate(谓词)表示对主语的属性或关系的断言。例如:
数学表达式示例: $$ forall x (Human(x) rightarrow Mortal(x)) $$ 意为“所有人都是会死的”,其中 "Human" 和 "Mortal" 是谓词。
作为动词时,predicate 表示“断言” 或“以…为基础”:
根据上下文选择具体含义即可。如果需要进一步区分或示例,可以补充提问哦!
【别人正在浏览】