❶ 離散數學，判定謂詞公式是不是永真式
不是，是永假式。
前件是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 排中律