Meaning of 谓词
谓词 means predicate (in mathematical logic, a word expressing a property of an individual or a relation between two or more individuals); predicate (the main word in the predicate part of a sentence). Pronounced wèi cí.
- predicate (in mathematical logic, a word expressing a property of an individual or a relation between two or more individuals)
- predicate (the main word in the predicate part of a sentence)
Definitions & Examples
Zài在
wèi谓
cí词
luó逻
jí辑
zhōng中
,
P(xP
(
biǎox
)
shì
x表
jù示
yǒu
xìngx
zhì
P具
有
性
质
P
。
In predicate logic, P(x) means that x has the property P.
Zhè这
shì是
yī一
gè个
èr二
yuán元
wèi谓
cí词
,
biǎo表
shì示
liǎng两
gè个
gè个
tǐ体
zhī之
jiān间
de的
guān关
xì系
。
This is a binary predicate, expressing the relation between two individuals.
Wèi谓
cí词
yǎn演
suàn算
shì是
shù数
lǐ理
luó逻
jí辑
de的
zhòng重
yào要
zǔ组
chéng成
bù部
fèn分
。
Predicate calculus is an important component of mathematical logic.
Zài在
zhè这
gè个
gōng公
shì式
zhōng中
,
RR
shì
yī是
gè一
biǎo个
shì表
dà示
yú大
guān于
xì关
de系
wèi的
cí谓
词
。
In this formula, R is a predicate representing the greater-than relation.