
好词典

源自拉丁语 'propositio'(陈述、提议),通过法语 'propositionnel' 进入英语,后缀 '-al' 表示形容词性质。
❶ 与命题或陈述有关的,指在逻辑或数学中以命题形式表达的内容。常用于描述逻辑系统中的基本单位或关系。
“Propositional logic deals with the study of logical relationships between propositions.”
(命题逻辑研究命题之间的逻辑关系。)
“The teacher explained the difference between propositional and predicate calculus.”
(老师解释了命题演算和谓词演算的区别。)
propositional logic — 命题逻辑,一种研究命题之间关系的逻辑系统,不涉及命题内部结构。
“Propositional logic is fundamental to computer science and mathematics.”
(命题逻辑是计算机科学和数学的基础。)
propositional attitude — 命题态度,哲学中指人对命题的心理状态,如相信、怀疑等。
“Belief is a classic example of a propositional attitude.”
(信念是命题态度的典型例子。)