命题变量

易经学习

天地变化的道理

分类目录

使用率很高网站

文章列表

生活要常常分享

维基百科

您身边百科全书

产品秀秀

免费为您秀产品

命题变量

点击查看词条快照

在数理逻辑中，命题变量（也称命题变元、句子变量）是要么为真要么为假的变量。命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。逻辑中的公式通常是由一些命题变量、一些逻辑连接词和一些逻辑量词递归地建立的。命题变量是命题逻辑的原子公式，通常用大写字母表示，如formula_1、formula_2、formula_3。在一个给定的命题逻辑中，我们可以按如下方式定义公式：通过上述方式，命题逻辑的所有公式都可以通过作为基本单位的命题变量构造出来。引用. Smullyan, Raymond M. "First-Order Logic". 1968. Dover edition, 1995. Chapter 1.1: Formulas of Propositional Logic.

骤死赛

徐干学

梁汉文

水野忠邦

龙山路4号聚会所

贞顺皇后 (唐朝)

云州区

秋之回忆：从今以后again

天镇县

天安基督教堂

卡尔·马克思市

青海湖泊列表