命题公式{P∩(P→Q)}→Q是重言式?
离散数学习题 [(p→q)∧(q→r)]→(p→r),证明该式是重言式
(p→q)∧(q→p)等值(p∨q)→(q∧p),其中p,q多少命题公式.
几个离散数学选择题:1. 命题公式(PÚQ)®Q为( ) A. 矛盾式 B. 可满足式 C. 重言式
命题公式¬(P→Q)的析取范式是( )
化简下式命题公式((P∧Q)∨(『P∧『Q) ∧P)
求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦
为什么P→Q不是公式呢?(离散数学中的命题)
离散数学中P->(Q->R)是命题公式吗
求命题公式 ((p∨q)→r)→p 的主析取范式
┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式
证明┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式
若p,q是两个简单命题,且“p或q”是假命题,则必有( )