不管Q,R,S是复合命题还是简单命题,Q—>R∧S都是合式公式!
根据合式公式的定义：
(1)单个命题常项或变项是合式公式；
(2)如果A是合式公式,则也是合式公式；
(3)如果A,B是合式公式,则A联结词B也是合式公式；
(4)只有有限次地应用(1)～(3)组成的符号串才是合式公式.
可知,Q—>R∧S是应用了1)～(3)2次的符号串,所以Q—>R∧S是合式公式.
离散数学 判断（Q—>R∧S) 是不是合式公式
3个回答
相关问题
-
离散数学小知识((非P→Q)→(Q→P))不是合式公式,它说括弧不配对,为什么?怎么判断合式公式?
-
离散数学中合式公式的判定、、（P->Q）->(^Q),(P->Q,(P^Q)->Q)为什么不是合式公式.
-
离散数学的：证明：((Q∧R)→S)∧(R→(P∨S)⇔(R∧(P→Q))→S,其中P,Q,R,S为命题公式
-
离散数学 求公式的析取范式，合取范式，主合取范式 公式：(¬P∨¬Q)→(P↔¬
-
离散数学 求公式-(-Q∧(P->Q)) 的合取主范式. 求教
-
┐p∧Q是不是合式公式书上说联结词的优先顺序为：┐、∧、∨、→ 、←→还说┐(p∧Q)是合式公式,而┐p∧Q不是合式公式
-
离散数学命题证明题 前提:p→s,q→r,p∨q,┘r 结论:r
-
离散数学怎样判断合取范式和析取范式?
-
离散数学蕴含公式蕴含公式表中有：┒P,P∨Q → Q为永真式.请问┒P与P∨Q有什么关系,也就是其中的逗号是什么关系?我
-
离散数学题 A={1,2,3} R:{,,} 求r(R),s(R),t(R)