作者查詢 / bagaqq

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

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

限定看板：logic

首頁

尾頁

[ logic ]9 留言, 推噓總分: +3

作者: MathTurtle - 發表於 2010/08/19 12:23(15年前)

1^F推bagaqq:恩謝謝你!!08/19 12:28

2^F→bagaqq:不過我有一個問題是在您說的第二點，08/19 12:29

3^F→bagaqq:當所有規則都找不到反例時, 它為真。我認為應該沒有真值08/19 12:30

4^F→bagaqq:無法得知EyCxy的真值，就無法得知(x)(Px -> EyCxy)的真值了08/19 12:32

5^F→bagaqq:不對我想錯了沒問題了XD08/19 12:34

6^F推bagaqq:在第二"當所有規則都找不到反例時, 它為真。"為什麼@@?08/19 12:41

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

作者: MathTurtle - 發表於 2010/04/12 03:44(16年前)

1^F推bagaqq:瞭解了!!謝謝!!04/12 19:37

[ logic ]3 留言, 推噓總分: +1

作者: rioet - 發表於 2010/02/20 14:21(16年前)

1^F推bagaqq:按照答案題目的意思應該是如果張三考上則李四也考上且02/20 14:32

2^F→bagaqq:如果張三沒考上則李四也不會考上02/20 14:33

3^F→bagaqq:所以那個"否則的話" 應該是就"張三考上"而言02/20 14:35

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

作者: bagaqq - 發表於 2010/01/22 00:07(16年前)

2^F→bagaqq:可以但是這樣就不能用來做UG回去了01/22 18:08

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

作者: Searle - 發表於 2010/01/20 18:42(16年前)

1^F推bagaqq:我認為應該沒有錯XD01/20 20:12

首頁

尾頁