p->q，p蘊含q的陳述，有兩種不易區分。、
q每當p；
p僅當q。
以上兩種陳述方式都是對p蘊含q的陳述。兩種陳述方式很容易弄混，那麼應該如何去區分？
（以下區分方式有參考）
可以從漢語的語意入手。
「q每當p」：「每當」隱含意思為「就」，補充完整就是「每當q為真，p就為真」。即p->q。
「p僅當q」：「僅當」可理解為「才會，才有可能，才可以……」，補充完整就是「僅當q為真，p才有可能為真」。反之，若q為假，那麼p必為假，即非q->非p，也就是p->q。
比如，「小明說了，只要小紅去，他就去」和「小明說了，只有在小紅去的前提下，他才會去。」從一般語義來理解，第一句，小紅去，小明一定去；第二句，小紅去，小明並不一定會去。這兩句非常自然。在現實生活中不會有人說「小明說了，只有在小紅去的前提下，他就一定去。」這句話在語義上其實是有問題的。語文中只有和就不能搭配。
因此，p僅當q，應該理解為p->q。
離散數學 筆記
1.復合命題的真值只取決於各原子命題的真值，而與它們的內容 含義無關，與原子命題之間是否有關係無關。2.命題公式 1 重言式 2 矛盾式 3 可滿足式 1.重言式 給定一命題公式，若無論對分量作怎樣的指派，其對應的真值永為真，則稱該命題為重言式或永真式 2.給定一命題公式，若無論對分量作怎樣的指派，...
《離散數學》關係
為什麼要研究乙個關係的演算法？我總是在想這個 難道是現實世界關係的模型對於我們來說，都是數學中研究的關係 關係把世界連線為了乙個巨大的網 一，關係的定義以及性質 從數學的角度來說，關係是笛卡兒的子集，就是乙個二維表，還可以是乙個矩陣，乙個有向圖。關係有一些性質，自反 a,b有相同的父母 對稱 a,b...
離散數學 樹
本人是新人，對樹的概念還是不太清楚，故寫個學習概念的文章，來幫助自己學習樹這一資料結構。定義1.樹是沒有簡單迴路的連通無向圖。定理1.乙個無向圖是樹當且僅當在它的每對頂點間存在唯一簡單迴路。定義2.有根樹是指乙個頂點 指所有節點 作為根並且每條邊的方向都離開根的樹。關於孩子，父母與深度和高度什麼的，...