1.請問助教為什麼下列四個敘述成立則P true為已知？ 還是推論就是這樣假設？
因為p－>(qˇr) 成立 這是若p則q 所以p不一定得對吧？
2.請問助教b小題的consistent在邏輯裡面就是不矛盾嘛？
3.請問66題目的form意思是？ 這種題目的解法可否請助教再細說一點
4.請問助教解答(2)為什麼是根據conjunctive? conjunctive不是p︿q對 所以p對
為什麼A︿B true是根據這個？？
5.請問助教第7題 對於我圈劃的地方 助教會如何判斷用and還是-->
2 則留言:
1. 不是因為那四個成立, 會寫已知是因為我們要在上述四個命題皆成立以及 p 成立的情況下, 去推論出 t 是對的
2. 對, 我們有時會說是"相容"或是"一致"的,
意思就是不會產生矛盾
3. 那是微積分裡對於極限值的一種定義方式, 通常會叫做ε-δ definition, 比較不是離散範圍談的東西, 這裡的重點還是一階邏輯, 一般這種題目做法都差不多, 就是要想辦法讓negation變不見
4. (1)是說, (A ^ B) ^ (... ^ ...) 是 true
把 p 想成是(A ^ B), q 想成是 (... ^ ...)
By Rule of Conjunctive Simplification,
A ^ B is True
5. 主要還是要想清楚想表達的意思是甚麼
譬如(a), 如果→改成 ^, 意思就會變成
"每個人都不是 x"這句話要是對的,
但這顯然是錯的
寫完記得把剛剛寫的用白話文再翻譯回來
看看意思是不是你要的
感謝助教
張貼留言