[請益] 邏輯證明

看板logic作者 (Susu)時間14年前 (2011/06/17 18:14), 編輯推噓0(000)
留言0則, 0人參與, 最新討論串1/2 (看更多)
1.(x)(Px≡Qx) 2.(x)[Px→(Qx→Rx)] 3.(Ex)Qx v (Ex)Px /(Ex)Rx v (Ex)Sx 用→替代horseshoe 用v 替代或 用^ 替代且 用(Ex)替代有些x 我算了好久算不出來 請強者幫忙解答 將以1000P幣作為酬謝 -- 搶救期末啊~~~~~~~~~~ -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.222.59
文章代碼(AID): #1D-oa8pL (logic)
討論串 (同標題文章)
文章代碼(AID): #1D-oa8pL (logic)