台湾華語版へ → 中国語辞典 TANゴ

谓词

v1
wèicí

名詞
述語、述詞。論理学やプログラミングにおける述語
📝 論理学・言語学・コンピュータ科学で使われる
谓词逻辑是数理逻辑的重要分支。 (wèicí luóji shì shùlǐ luóji de zhòngyào fēnzhī.)
谓词論理は数理論理学の重要な分野である。
在编程中,谓词是返回布尔值的函数。 (zài biānchéng zhōng, wèicí shì fǎnhuí bù'ěr zhí de hánshù.)
プログラミングにおいて、谓词はブール値を返す関数である。
一阶谓词演算是逻辑学的基础。 (yījiē wèicí yǎnsuàn shì luójixué de jīchǔ.)
一階谓词演算は論理学の基礎である。

⚖️ 類義語との比較

“谓语”は文法における述語を指すが、“谓词”は論理学やプログラミングにおける述語関数を指す。
生成日: 2026/05/31 08:33