命题公式P→Q∧P是（A）重言式（B）矛盾式（C）可满足式（D）等阶式

命题公式｛P∩(P→Q）｝→Q是重言式?是对还是错? 命题公式P→Q∧P是（A）重言式（B）矛盾式（C）可满足式（D）等阶式 P→（P∧（Q→P））的主析取范式和主合取范式这个公式是重言式,主合取范式? 麻烦帮我做几道离散数学题 命题公式P →(Q ↓P)是（ ）.A．重言式B．可满足式C．矛盾式D．等值式如果A⇒B成立,则以下各种蕴含关系哪一个成立?（ ）A．B⇒AB．¬A⇒¬BC．¬B& 几个离散数学选择题：1. 命题公式(PÚQ)®Q为( ) A. 矛盾式 B. 可满足式 C. 重言式 D. 合取范式2. 在谓词公式(x)(A(x)→B(x)ÚC(x,y))中,（ ）． A. x,y都是约束变元 B. x,y都是自由变元 C. x是 形式逻辑题目：用真值表方法判定（p∧q）→（┒p∨q）是重言式 化简命题公式：（P∨7P）→(7P∧Q∧R). 用真值表法判定( ┑ p∨q ) ∧ ┑ p → q 是否是重言式.有真值表, 若p,q是两个简单命题,且“p 或 q”的否定是真命题,则必有（ ） A p真q真 B p假q假 C p真q假 D p假q真 命题“集合A⊉B是_______的形式（p∨q或p∧q） 证明((P→Q)∧(Q→R))→(P→R)为重言式 求助,一个很简单很基础的大学离散数学选择题下列公式 ( )为重言式． A. ┐P＾┐Q↔PvQ B. (Q→(PvQ))↔(┐Q＾(PvQ)) C. (P→(┐Q→P))↔(┐P→(P→Q)) D. (┐Pv(P＾Q)) ↔Q拜托了,大侠们! 若p,q是两个简单命题,且“p或q”的否定式真命题,则必有（ ）A,p真q真B.p假q假C.p真q假D.p假q真 用归谬赋值法判定（ p∧q∧r →s ） → （ ┑ s→ （ p→ （ q → ┑ r ）））是否是重言式. 如果命题“p或q”与命题“非p”都是真命题,那么 （）A .命题p不一定是假命题 ,B .命题q一定是真命题 ,C .命题q不一定是真命题 ,D .命题p与命题q的真假相同 .. 已知命题：p:a^2≥0（a∈R),命题q:函数f(x)=x^2-x在区间[0,+∞）上单调递增,则下列命题为真命题的是A:p∨q B:p∧q C:(-p)∧(-q ) D:(-p)∨q ) 命题P（a→+b→）.(a→-b→)=0,q:a→=b→,则P是q的： ┐（P----Q）(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式