若用，…泛指简单的陈述句，则称，…为命题变项，此时，…是变量，它们的取值为1或0。
命题公式是由命题常项、命题变项、联结词、括号等组成的符号串，但不是由这些符号任意组成的符号串都是命题公式。因此，必须给出命题公式的严格定义。
定义1.6
(1)单个命题常项或变项是合式公式；
(2)如果A是合式公式，则也是合式公式；
(3)如果A，B是合式公式，则，，，也是合式公式；
(4)只有有限次地应用(1)～(3)组成的符号串才是合式公式。
今后我们将合式公式称为命题公式，或简称为公式。
为方便起见，规定，等的外层括号可以省去。在公式的定义中，引进了A，B等符号，它们代表任意的命题公式，称它们为元语言符号。
根据定义，，，等都是命题公式，但等都不是命题公式。
所谓元语言，是用来说明对象语言的语言，而对象语言是指用来描述所研究的对象(指数理逻辑)的语言。
例
用定义说明是公式。
解
①是公式
由(1)
②是公式
由(1)
③是公式
由①、②、(3)
④是公式
由①、③、(3)
离散数学合成公式
离散数学合式公式，是命题标识符、逻辑联结词与圆括号遵循正确规则组合而成的结构，被统称为命题公式，简称公式。典型的例子包括：PP∨Q，表示PP或者Q PP→Q，表示如果PP那么Q QP→Q，表示如果Q那么Q P∧(P∨Q)，表示P且(P或Q)Q，表示Q 这些结构构成了逻辑推理的基础。附加率是其中的规则之一，...
离散数学合式公式
离散数学合式公式是指命题标识符、逻辑联结词和圆括号按照一定的正确规则组成的合式，称为命题公式即合式公式，简称公式。代表性地理解为：(P→Q)P (P→Q)Q PP∨Q 附加率 PP→Q QP→Q P∧(P∨Q)Q 析取三段论 P∧(P→Q)Q 假言推理 Q∧(P→Q)P 拒取式 (P→Q)∧(Q→R)P→R 假言...
离散数学问题
是合式公式 合式公式定义 (1)单个命题常项或变项是合式公式；(2)如果A是合式公式，则﹁A也是合式公式；(3)如果A，B是合式公式，则P∧Q、P∨Q、P®Q、 P«Q也是合式公式；(4)只有有限次地应用(1)～(3)所包含的命题变元，联结词和括号的符号串才是合式公式。所以是合式公...
离散数学:什么是合式公式?
命题公式是由命题常项、命题变项、联结词、括号等组成的符号串，但不是由这些符号任意组成的符号串都是命题公式。因此，必须给出命题公式的严格定义。定义1.6 (1)单个命题常项或变项是合式公式；(2)如果A是合式公式，则也是合式公式；(3)如果A，B是合式公式，则，，，也是合式公式；(4)只有...
离散数学,谓词逻辑,为什么E(x)(P(y))不是合式公式?
在离散数学和谓词逻辑中，合式公式（well-formed formula，简称WFF）指的是按照规定的语法规则构造而成，并且没有语法错误的逻辑表达式。表达式 E(x)（P(y)）中，E(x) 是一个量化符号，P(y) 是一个原子谓词逻辑公式。这个表达式存在语法错误，因为量化符号 E(x) 通常需要与一个完整的逻辑公式连接...
离散数学笔记(1.2)合式公式与真值表
离散数学笔记（1.2）合式公式与真值表如下：一、合式公式 原子命题：不可再分的命题，即不包含任何逻辑联结词的命题 命题变元：公式中没有确定真值的变量，其真值只能在0,1两者中选择 合式公式（递归定义法）：①真值1和0是合式公式；②原子命题公式是一个合式公式；③如果A是合式的公式，那么&...
离散数学笔记(1.2)合式公式与真值表
一、探索合式公式的奥秘 在离散数学的世界里，基础构建块就是我们所说的原子命题，它们是逻辑推理的基石，无需进一步拆解的简单命题，其真值只能在0（假）和1（真）之间抉择。命题变元则是公式中的未知元素，它们的存在使得公式保持其开放性和不确定性。合式公式，如同数学的精致拼图，通过递归定义来...
合式公式
是合式公式，《离散数学》左孝凌版page10，原话描述：“为了减少使用圆括号的数量，约定最外层的圆括号可以省略。”
关于离散数学中合式公式的判断下面的例题是合式公式吗??判断的定义又...
自然语言中，用陈述句来表达判断。上面的式子是合式公式 合式公式：①原子公式是合式公式；②如果A、B是合式公式，则(非A)、(A∧B)、(A∨B)、(A→B)、(A等值于B)也是合式公式；③只有有限次地应用①和②构成的符号才是合式公式。答题不易，请及时采纳，谢谢！
离散数学中的wff是什么意思
但是以下的就不是合法的公式：(p → q) ∧ (r ∨ )( → q) ∧ (r ∨ s)合法公式的定义：1. 一个符号本身是合法公式，比如：p 2. 如果 φ 是合法公式，那么 ¬φ 也是。3. 如果 φ 和 ψ 是合法公式，那么 φ ∧ ψ、φ ∨ ψ、φ → ψ、φ ↔ ψ 也是。
