❶ 离散数学，判定谓词公式是不是永真式
不是，是永假式。
前件是1，后件是0，蕴涵式是1→0，真值是0。
❷ 离散数学 判断下列公式的类型（永真还是永假） 如图，谢谢~
(1)永返棚碧真
（2）
错误
前后反过来是永真漏举，此时是全称指定规则和碰US
（3）
永真
∀x(F(x)→G(x))
⇔∀x(¬F(x)∨G(x))
⇒∃x(¬F(x)∨G(x))
⇔∃x(¬F(x)∨∀xG(x))
⇔∃x¬F(x)∨∀xG(x)
⇔¬(∀xF(x))∨∀xG(x)
⇔∀xF(x)→∀xG(x)
❸ 离散数学 证明其为永真式
证明过程如下：滑信烂
(P∧信漏¬Q)∨(Q∧¬R)∨(¬Q∨R)
⇔(P∧¬Q)∨(Q∧¬R)∨¬Q∨R 结合律
⇔(Q∧¬R)∨¬Q∨R 合取析取 吸收率
⇔¬R∨¬Q∨R 合取析坦枣取 吸收率
⇔¬Q∨¬R∨R 交换律 排序
⇔¬Q∨TRUE 结合律
⇔TRUE 排中律