来源：学生作业帮 编辑：灵鹊做题网作业帮 分类：数学作业 时间：2024/05/28 04:15:39
麻烦帮我做几道离散数学题
命题公式P →(Q ↓P)是（ ）.
A．重言式
B．可满足式
C．矛盾式
D．等值式
如果A⇒B成立,则以下各种蕴含关系哪一个成立?（ ）
A．B⇒A
B．¬A⇒¬B
C．¬B⇒¬A
D．¬A⇒B
下面哪个命题公式不是重言式?（ ）
A．Q →(P ∨Q)
B．(P ∧Q)→P
C．¬(P ∧¬Q) ∧ (¬P ∨Q)
D．(P→Q)↔(¬P ∨Q)
判断对错
acdb.
灵鹊做题网