作者查詢 / JaegwonKim

總覽項目：發文 | 留言 | 暱稱

作者 JaegwonKim 在 PTT [ logic ] 看板的留言(推文), 共10則

限定看板：logic

首頁

尾頁

[ logic ]6 留言, 推噓總分: 0

作者: ntuguy - 發表於 2012/06/06 18:57(14年前)

1^F→JaegwonKim:(x)SxvBx 和 (x)Sxv(x)Bx 不等價設定兩個東西06/06 19:55

2^F→JaegwonKim:一甜不苦一苦不甜就會出現前真後假的情況06/06 19:57

[ logic ]11 留言, 推噓總分: +2

作者: gooogle79 - 發表於 2011/08/03 19:27(15年前)

1^F→JaegwonKim:基本上是有效的但我覺得要一步驟一步驟做比較好08/03 19:45

2^F→JaegwonKim:Simp UI UI Impl DeM UG UG Add...08/03 19:46

3^F→JaegwonKim:有沒有符合推論規則應該要看你用什麼規則而定08/03 19:47

4^F→JaegwonKim:附上邏輯推論檢驗機 http://logic.tamu.edu/08/03 20:05

6^F推JaegwonKim:不太懂你的意思? 我第二推最後應該是conj不是add 記錯08/03 20:43

8^F推JaegwonKim:其實只要明白(x)(y)﹁(Ay-->Ax)與(x)(y)(Ay & ﹁Ax)等08/04 18:52

9^F→JaegwonKim:價的那都有效的08/04 18:54

10^F→JaegwonKim:如果前提換成OR 建議用Indirect Proof來證明08/04 18:55

首頁

尾頁