推 dy957:我選C ..C應該是條件最嚴苛的吧 但是沒有很確定 02/22 08:00
→ privatewind:我選E 我猜想他是要問你 當S(k)->S(k+2)成立的情況下 02/22 08:45
→ privatewind:下列a b c d 何者會與之矛盾(也就是不可能成立) 02/22 08:45
推 martinliou:我選d耶 因為對於所有k S(k)->S(k+2) holds的話 02/22 09:27
→ martinliou:則等價於S(k)或~S(k+2)，所以它的否命題是存在k屬於正 02/22 09:28
→ martinliou:整數，使得~S(k)且S(k+2)成立，d選項符合所以選d 02/22 09:29
→ martinliou:不知道這樣說明對不對@@ 02/22 09:29
→ martinliou:補充一下否命題表示never holds 02/22 09:31
→ dy957:m大 是等價於~S(k)或S(k+2)吧 02/22 13:58
→ dy957:我記得C是n<=100存在n滿足.. => 對於所有n 滿足... 02/22 14:04
→ aoqq12:我也選e c的答案我覺得有可能會hold就排除了 02/22 22:10
→ aoqq12:...這題= = 1/5 10分 差好大 02/22 22:11
推 dy957:我後來想想..C應該會hold 應該是E吧 02/23 00:11
→ privatewind:E是以上皆非 要選這選項 都相當困難Orz 02/23 18:42
推 martinliou:欸欸 10分噴了ˊˋ 02/23 22:46