离散数学小知识((非P→Q)→(Q→P))不是合式公式,它说括弧不配对,为什么?怎么判断合式公式?
2个回答
把最外层的括弧去掉试试
楼上那个胡说八道!
第一:推导过程有问题
第二:就算结论是非P→P,也不能说明就是假命题,非P→P P∨PP
怎么就是假命题了?
第三:合式公式的定义他都没弄明白!
相关问题
离散数学中合式公式的判定、、(P->Q)->(^Q),(P->Q,(P^Q)->Q)为什么不是合式公式.
┐p∧Q是不是合式公式书上说联结词的优先顺序为:┐、∧、∨、→ 、←→还说┐(p∧Q)是合式公式,而┐p∧Q不是合式公式
离散数学 判断(Q—>R∧S) 是不是合式公式
离散数学 求公式的析取范式,合取范式,主合取范式 公式:(¬P∨¬Q)→(P↔¬
离散数学 求公式-(-Q∧(P->Q)) 的合取主范式. 求教
P为任意合式公式,Q:为矛盾式.则P ∧ Q是( ) A.矛盾式 B.可满足式 C.蕴含式 D.重言式
离散数学蕴含公式蕴含公式表中有:┒P,P∨Q → Q为永真式.请问┒P与P∨Q有什么关系,也就是其中的逗号是什么关系?我
命题公式(PÚQ)的合取范式是 ( ).
离散数学的:证明:((Q∧R)→S)∧(R→(P∨S)⇔(R∧(P→Q))→S,其中P,Q,R,S为命题公式
有关离散数学P->(Q->P)原题是这样的非P->(P->Q)P->(Q->P)请问是怎么样证明的?