[離散] 邏輯

看板Math作者 (挑戰在我就在)時間14年前 (2011/03/12 00:06), 編輯推噓2(2推 0噓 0→)
留言2則, 2人參與, 最新討論串1/2 (看更多)
這是我在discrete mathematics and its applications 6th edition p66 中間的表格看到的 [(p\/q)/\(─p\/r)]→(q\/r) ps \/=or /\=and ─=not 請問這個式子成立嗎 我畫truth table跟上面的式子不合 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 114.38.106.220
推
03/12 00:38, , 1F
this is true, consider contrapositive
03/12 00:38, 1F
推
03/12 01:15, , 2F
假設q.r為假，則原句等價於p且非p 矛盾
03/12 01:15, 2F
‣ 更多 yuchiao0921 的文章
文章代碼(AID): #1DUaYJBd (Math)
討論串 (同標題文章)
以下文章回應了本文：
離散
1
3
Re: [離散] 邏輯 Re: 邏輯
xcycl
14年前, 03/12
完整討論串 (本文為第 1 之 2 篇)：
排序： 最新先 | 最舊先 | 留言數
離散
1
3
Re: [離散] 邏輯 Re: 邏輯
xcycl
14年前, 03/12
離散
2
2
[離散] 邏輯 邏輯
yuchiao0921
14年前, 03/12
在新視窗開啟完整討論串 (共2篇)
‣ 更多 yuchiao0921 的文章
文章代碼(AID): #1DUaYJBd (Math)