在数学逻辑中,命题变元(也称为句子变元)是一个可真可假的变量。命题变元是命题逻辑甚至较高逻辑中使用的命题公式的基本组成部分。 命题变元是指如果命题标识符只表示任意命题的位置标志。
propositional constant ( 命题常元 ):T(1)或F(0),或者表示一个确定的命 题; propositional variable(命题变元):可用一个特定的命题取代。
基于244个网页-相关网页
... 复合命题 sentential combination 命题变元;语句变元 sentential variable 可分性;可列分性 separability ...
基于8个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐