看板 [ logic ]
討論串[請益] 邏輯證明
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [請益] 邏輯證明
推噓2(2推 0噓 4→)留言6則，0人參與, 最新作者MathTurtle (恩典)時間14年前 (2011/06/17 18:42), 編輯資訊
0
0
0
內容預覽:
我來試試。(有些推論規則的名稱我忘了). 1.(x)(Px≡Qx) Ass. 2.(x)[Px→(Qx→Rx)] Ass. 3.(Ｅx)Qx v (Ｅx)Px Ass. 4. ~(Ex)Px Ass for RAA. 5. (Ex)Qx 4, 3. DS.. 6. Qa 5. EI. 7. Pa≡Q
(還有537個字)
#1
[請益] 邏輯證明
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者a53530 (Susu)時間14年前 (2011/06/17 18:14), 編輯資訊
0
0
0
內容預覽:
1.(x)(Px≡Qx). 2.(x)[Px→(Qx→Rx)]. 3.(Ｅx)Qx v (Ｅx)Px. /(Ｅx)Rx v (Ｅx)Sx. 用→替代horseshoe. 用v 替代或. 用^ 替代且. 用(Ｅx)替代有些x. 我算了好久算不出來. 請強者幫忙解答. 將以1000P幣作為酬謝. --.
首頁
上一頁
1
下一頁
尾頁