(1)单个命题常项或变项是合式公式；
(2)如果a是合式公式，则﹁a也是合式公式；
(3)如果a，b是合式公式，则p∧q、p∨q、p®q、
p«q也是合式公式；
(4)只有有限次地应用(1)～(3)所包含的命题变元，联结词和括号的符号串才是合式公式。
今后我们将合式公式称为命题公式，或简称为公式。
为方便起见，规定，等的外层括号可以省去。在公式的定义中，引进了a，b等符号，它们代表任意的命题公式，称它们为元语言符号。
根据定义，，，等都是命题公式，但等都不是命题公式。
所谓元语言，是用来说明对象语言的语言，而对象语言是指用来描述所研究的对象(指数理逻辑)的语言。
例
用定义说明是公式。
解
①是公式
由(1)
②是公式
由(1)
③是公式
由①、②、(3)
④是公式
由①、③、(3)
数学合式公式的判断为什么这个公式不是合式公式
1，X是只含一个运算符的公式，判断并返回它的合法性。2，否则可以将其进行分解，形式为X=X1⊙X2，或者X=~X1，其中⊙是一个二元运算符，~是"非"运算符。接下来递归判断X1X2是否为合式公式。
离散数学,谓词逻辑,为什么E(x)(P(y))不是合式公式?
因此，E(x)（P(y)）不是合式公式，因为它违反了量化符号必须与完整逻辑公式相连的规则。正确的写法应该是像 E(x)[P(y)] 这样，将量化符号与逻辑公式用方括号 [ ] 包围起来，以确保语法的正确性。
p→(r→q)为何不是合式公式?
p→(r→q)是符合合式公式的定义，所以它是合式公式。合式公式的定义：1、任意一个命题变号例如p、q等是合式公式。2、如果任意一个公式p合式公式，那么它的否定￢P也是合式公式。3、如果p、q是合式公式，那么p→q是合式公式。为了避免公式中有些变量既可以约束出现，又可自由出现的情形，我们...
离散数学中合式公式的判定、、(P->Q)->(^Q), (P->Q,(P^Q)->Q)为什么...
左边的括号内不完整如果是(p^q)就行了，
怎样判断是不是合式公式
一个合式公式必须符合逻辑符号的使用规则，例如括号的配对、命题符号的正确使用等。如果公式存在语法错误，那么它就不是一个合式公式。2、语义检查：一个合式公式必须符合特定的语义规则。例如，在谓词逻辑中，一个公式必须符合量化符号的使用规则和谓词符号的正确使用，否则它就不是一个合式公式。
离散数学里为什么(p→(r→q))不是合式公式?
1、单个命题常项或变项p，q，r，...及0，1是合式公式。2、若A是合式公式，则（～A）也是合式公式。（注：符号～在这看作是 非）3、若A、B是合式公式，则（A∧B）、（A∨B）、（A→B）、（A冖B）也是合式公式。（注：符号冖在这看做是 等价）4、只有有限次地应用1、2、3组成的...
P→(R→Q)为什么不是合式公式?
一个合式公式一定要满足一个条件，就是在任何情况下使用它都不会产生歧义。为了避免上面那个麻烦的事情产生，办法就是在这个合式公式诞生的那一刻，就给它套上一层括号，这样就肯定不会错了。[~(p→(r→q))]的意思是非常明确的。如果是[(~p)→(r→q)]的话，那一定不是由(p→(r→q))...
离散数学这俩为什么不是合式公式?谢谢 (P→Q)→(∧Q);(P→Q,(P∧Q...
合式公式是由原子公式通过连接词连接起来的式子 (P→Q)→(∧Q)中，∧Q不是原子公式 (P→Q,(P∧Q)→Q)中，,逗号不是连接词
为什么((非P→Q)→(Q→P))不是合式公式
（（not p→Q）→（Q→P））相当于（（Q 或 P）→（P 或 not Q））相当于（（P 或 not Q）或 not（Q 或 P））相当于（P 或 not Q 或 （not Q 且 not P））相当于 not Q 或 P 不是最简式，所以不算合式
合适公式是命题吗?
不是。合式公式（或叫做命题公式）是由命题变元和连接词构成的式子。没有确定的真值，即不能判断真假，所以不是命题。当用命题常量替代命题变元后，合式公式变为命题，但此时它就不再是合式公式了。这与其他数学公式类似。比如公式：X = (X1 + X2 + ……+Xn) \/ n 是用于计算各门课程平均...
