命题公式｛P∩(P→Q）｝→Q是重言式?是对还是错?

命题公式｛P∩(P→Q）｝→Q是重言式?是对还是错? 命题公式P→Q∧P是（A）重言式（B）矛盾式（C）可满足式（D）等阶式 P→（P∧（Q→P））的主析取范式和主合取范式这个公式是重言式,主合取范式? 形式逻辑题目：用真值表方法判定（p∧q）→（┒p∨q）是重言式 用真值表法判定( ┑ p∨q ) ∧ ┑ p → q 是否是重言式.有真值表, 证明((P→Q)∧(Q→R))→(P→R)为重言式 几个离散数学选择题：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 的真值是什么 麻烦帮我做几道离散数学题 命题公式P →(Q ↓P)是（ ）.A．重言式B．可满足式C．矛盾式D．等值式如果A⇒B成立,则以下各种蕴含关系哪一个成立?（ ）A．B⇒AB．¬A⇒¬BC．¬B& 头疼的逻辑题,各位大侠帮俺看看啊二、请画出下列命题形式的真值表,并判断是否是重言式.1．(p∨q)→(p→q) 2．(p→q)→((p→q)→p)三、下列推理是否有效? 化简命题公式：（P∨7P）→(7P∧Q∧R). 证明：(p→q)∧(q→p)＜＝＞(p∨q)→(q∧p),其中p,q都是命题公式. (p→q)∧(q→p)等值(p∨q)→(q∧p),其中p,q多少命题公式. 求助,一个很简单很基础的大学离散数学选择题下列公式 ( )为重言式． A. ┐P＾┐Q↔PvQ B. (Q→(PvQ))↔(┐Q＾(PvQ)) C. (P→(┐Q→P))↔(┐P→(P→Q)) D. (┐Pv(P＾Q)) ↔Q拜托了,大侠们! 下列公式 ( )为重言式． A.┐P＾┐Q↔PvQB.(Q→(PvQ))↔(┐Q＾(PvQ))C.(P→(┐Q→P))↔(┐P→(P→Q))D.(┐Pv(P＾Q)) ↔Q大侠们! [离散数学]推导如下命题公式是等价的.1.(P^Q)→(~Pv(~PvQ))~PvQ2.(P→Q)^(R→Q)PvR→Q 用真值表方法证明是否为重言式（p→q)∧(r→q)∧(p∨q)→q 用归谬赋值法判定（ p∧q∧r →s ） → （ ┑ s→ （ p→ （ q → ┑ r ）））是否是重言式.