看板 [ Math ]
討論串[其他] 邏輯等價
共 3 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#3
Re: [其他] 邏輯等價
推噓1(1推 0噓 0→)留言1則，0人參與, 最新作者turboho (西卡拉)時間15年前 (2011/03/01 12:31), 編輯資訊
0
0
0
內容預覽:
Let's see if this works for you:. (pˇqˇr)^(pˇtˇ-q)^(pˇ-tˇr). = {pˇ[(qˇr)^(tˇ-q)]}^(pˇ-tˇr). = pˇ[(qˇr)^(tˇ-q)^(-tˇr)]. = pˇ[(qˇr)^(-tˇr)^(tˇ-q)]. = pˇ
#2
Re: [其他] 邏輯等價
推噓1(1推 0噓 2→)留言3則，0人參與, 最新作者turboho (西卡拉)時間15年前 (2011/03/01 12:09), 編輯資訊
0
0
0
內容預覽:
Suppose p, then there's nothing to proof. (Both sides are true). So we may as well assume -p.. Now we need to show (qˇr)^(tˇ-q)^(-tˇr) = r^(tˇ-q).. Ag
(還有78個字)
#1
[其他] 邏輯等價
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者skyhigh8988 (Aesthetic)時間15年前 (2011/03/01 11:54), 編輯資訊
0
0
0
內容預覽:
抱歉打不出 "or" - -用 ˇ代替. ____________________________________________________________________________. 題目:. (pˇqˇr)^(pˇtˇ-q)^(pˇ-tˇr). =pˇ[r^(tˇ-q)]. 推敲了一
(還有30個字)
首頁
上一頁
1
下一頁
尾頁