[理工] 清大109 計科

[mistel (Mistel)]

想訂正個今天考的東西
https://i.imgur.com/HOQW241.jpg
https://i.imgur.com/dG3jW9h.jpg
請問這張第一題該怎麼寫 我根據題目的hint寫了第一個，但我一直在想為什麼不是第二個
？
不是所有敘述都相反嗎？
謝謝

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.71.118.138 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1580905980.A.2C0.html
推 oepop: 同樣疑問 推
→ ok8752665: 完了 會不會被hint搞了
※ 編輯: mistel (111.71.118.138 臺灣), 02/05/2020 20:52:54
推 gash55025502: 我的想法是存在跟for all後面跟著的那個statement
→ gash55025502: 不用改
→ mistel: 請問為什麼不用改？ 我查子嘉題目那些statement都有...
推 Aa841018: 簡化一下就是：如果存在A屬於L的反命題，會不會是對所
→ Aa841018: 有A不屬於L?
→ Ricestone: 他會特別寫個hint，代表沒被另外括出來的整個是一個條
→ Ricestone: 件吧
→ Ricestone: 例如上面的S的for any指的是所有長度>=m的string
→ Ricestone: 而不是指所有的string的長度都>=m
所以R大的見解是沒有另外挖空的那些是集合的條件，而不是statement，對嗎？
推 gash55025502: 感覺大概可以用這個例子來說明？例如 清大學生中 存
→ gash55025502: 在一個人計科考一百分 的相反是 清大學生中所有人
→ gash55025502: 的計科都不考一百分 你不會把清大學生改成清大以外
→ gash55025502: 的學生
推 gash55025502: 可以說是用來描述要討論的對象的那些statement不用
→ gash55025502: 取相反？像是題目一開始的 存在integer m 也不是改
→ gash55025502: 成for all non-integer m
推 Aa841018: https://i.imgur.com/wraAtqo.jpg
推 yang20913: 我寫錯了T_T
※ 編輯: mistel (111.71.118.138 臺灣), 02/05/2020 21:34:56
→ Ricestone: 我的意思其實跟gash一樣，只是那應該不叫statement，但
→ Ricestone: 總之整個合起來是敘述範圍的
推 chiuchang: 借問一下 有人會今天計科最後一題嗎
→ gash55025502: 計科最後好像三題都找得到例子 不用證明
推 tjltd2000: 我原本也寫原po那樣 後來才照著hint改 本來想說有空回
→ tjltd2000: 頭想 結果差點寫不完==
推 chiuchang: 原來啊...我空白 完了
→ chiuchang: 各位請問一下 原文的解答要去哪找呀
→ Ricestone: 剛剛想想，那部份叫statement好像也對
→ Ricestone: 如果真的這種描述範圍的方式當作statement而去全部否定
→ Ricestone: 也會得到同樣結果，因為for any跟exist處理範圍敘述的
→ Ricestone: 方法剛好相反  剛剛查wiki的結論
→ Ricestone: https://en.wikipedia.org/wiki/Quantifier_(logic)
→ Ricestone: 裡面Equivalent expressions這一節有寫到等價的敘述
→ Ricestone: 其中if P then Q這個敘述被否定就會變 P and ~Q
推 gash55025502: 原來還有這層道理xd太猛了
推 poopooShaw: 所以兩種寫法都是對的嗎
→ Ricestone: 沒有啊，只有上面是對的，因為它寫法應該只能解釋為是
→ Ricestone: 敘述範圍
推 Aa841018: 上面最後面不屬於L也對嗎？
→ Aa841018: 我以為屬於L部分都不會動到
→ Ricestone: 因為那部份是前面quantifier在修飾的statement，所以是
→ Ricestone: 會變全部否定的
→ mistel: 感謝！
推 DLHZ: 順便問一下 VLIW那邊跑一次的cycle是多少啊?
推 gash55025502: 我第一題好像寫9 但不確定
推 achicn3: 計科最後題目是啥去了？
→ DLHZ: 我是寫7 不過當時太混亂無法確定 最後還是擦掉了
→ DLHZ: cache那個我記得滿後面的 不過不知道到底第幾題
→ cutearia: 我也寫7不過心態炸了亂寫 應該沒那麼簡單?
推 a9778875: 我寫9
推 Justapig: 我數8欸
→ mistel: 8是怎麼算的？