離散數學命題邏輯

⑴ 離散數學命題邏輯

定義符號：
a：我學英語；
b：我學法語；
c：小王來；
d：小李去；
翻譯：
（1）a∧b；
（2）¬c→¬d；
解釋：
除非p，否則q；
＝q，除非p；
＝只有在p時，才有可能非q，（否則，肯定是q）；
＝如果非p，那麼q；
在英語中：【unless】不就是翻譯為【除非…】或者是【如果不…】的嗎？這就表示，【除非】和【如果不】是同一個意思。

⑵ 離散數學命題邏輯題（題見圖）

1、
(1) P->(Q->R) 前提引入
(2) ~PV(~QVR) 與(1)等價
(3) ~(P^Q)VR 與(2)等價
(4) (P^Q)->R 與(3)等價
(5) R->(Q->S) 前提引入
(6) (P^Q)->(Q->S) 由(4)、(5)蘊含
(7) ~(P^Q)V(~QVS) 與(6)等價
(8) (~PV~Q)V(~QVS) 與(7)等價
(9) ~PV~QVS 與(8)等價
(10) ~PV(~QVS) 與(9)等價
(11) P->(Q->S) 與(10)等價
2、
(1) P->(Q->R) 前提引入
(2) ~PV(~QVR) 與(1)等價
(3) ~(P^Q)VR 與(2)等價
(4) (P^Q)->R 與(3)等價
(5) Q->(R->S) 附加前提引入
(6) ~QV(~RVS) 與(5)等價
(7) ~RV~QVS 等價於(6)
(8) R->(Q->S) 等價於(7)
(9) (P^Q)->(Q->S) 由(4)、(8)蘊含
(10) P->(Q->S) 等價於(9)
(11) (Q->(R->S))->(P->(Q->S)) 由(5)、(10)蘊含

⑶ 離散數學命題邏輯推理題 條件：非p→非q,p→r,非s∨q 結論：s→r

前提：┐p→┐q,p→r,┐s∨q
結論：s→r
證明：
① s
② ┐s∨q
③ q
④ ┐p→┐q
⑤ ┐┐p
⑥ p
⑦ p→r
⑧ r
(每一步理由交給你了)得證.

⑷ 求離散數學命題邏輯練習大全

你沒有配套的練習題嗎？猿題庫，網路文庫，組卷網……里的專項題挺多的，建議你去找一下

⑸ 離散數學 命題邏輯 「僅當」和「當且僅當」，有何區別怎樣理解 謝謝!

"q僅當p"就是『只有p才q』，即如果p不成立，那麼q一定不成立。"p當且僅當q"是"如果p成立那麼q一定成立，並且如果p不成立，q也一定不成立『』。

⑹ 離散數學命題邏輯推理

若p->(q->s)真,則p假;或p真,且q->s真.
(1)若p假,又知p∨非r真,則非r真,即r假.∴r->s真.
(2)若p真,且q->s真,又知q真,則s真.∴r->s真.
宗上所述:若 p->(q->s), q ,p∨非r,則r->s.

⑺ 命題邏輯 離散數學

化簡後得：(p∨r∨¬s∨t)∧(¬p∨r∨¬s∨t)∧(p∨¬q∨¬r)∧(p∨¬q∨s)∧(p∨¬q∨¬t),因此真值表需要2^5 = 32行

⑻ 淺談如何學習離散數學中的命題邏輯

首先要學好基本概念，每一章都有一些概念需要弄清楚、理解確切並且記住。第二要牢記基本公式，所有公式都應該記住，通過逐步推導和反復運用將公式記住。第三要重復學習思考，通過重復學習真正掌握有關基本內容。第四要獨立完成作業，獨立完成作業是學習的重要手段，必須通過做作業來加深對基本概念的理解，熟悉公式的運用，掌握基本解題方法，從而達到掌握基礎知識、提高數學能力的目的。

⑼ 離散數學命題邏輯 只有天不下雨，我才騎自行車上班 p：天下雨 q:騎自行車上班 總覺得是┒

p是指天下雨，┒p是p的否定，所以┒p的意思就是天不下雨，q是指騎自行車上班。

┒p->q的意思就是：如果天不下雨，那麼就騎自行車上班。這里與關聯詞無關。

所以，你完全沒有寫錯，這題目是教材上的原題，你的答案也和標准答案一樣。

⑽ 離散數學 命題邏輯

兩題中的A、B 確實都不一定等價。不過原因不應該說「C包含A和B」、「C是空集」，因為A、B、C都不是集合，而是命題——雖然從某方面講，它們是等價的。
真正的反例應該是這樣的：
（1）當 C 是重言式時，無論 A、B 是什麼命題公式，A ∨ C 都與 B ∨ C 等價。而此時 A、B 卻未必等價；
（2）當 C 為假言式時，無論 A、B 是什麼命題公式，A ∧ C 都與 B ∧ C 等價。而此時 A、B 卻未必等價；