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

同樣疑問 推

完了 會不會被hint搞了

我的想法是存在跟for all後面跟著的那個statement不用改

請問為什麼不用改？ 我查子嘉題目那些statement都有...

簡化一下就是：如果存在A屬於L的反命題，會不會是對所有A不屬於L?

他會特別寫個hint，代表沒被另外括出來的整個是一個條件吧例如上面的S的for any指的是所有長度>=m的string而不是指所有的string的長度都>=m

感覺大概可以用這個例子來說明？例如 清大學生中 存在一個人計科考一百分 的相反是 清大學生中所有人的計科都不考一百分 你不會把清大學生改成清大以外的學生可以說是用來描述要討論的對象的那些statement不用取相反？像是題目一開始的 存在integer m 也不是改成for all non-integer m

我寫錯了T_T

我的意思其實跟gash一樣，只是那應該不叫statement，但總之整個合起來是敘述範圍的

借問一下 有人會今天計科最後一題嗎

計科最後好像三題都找得到例子 不用證明

我原本也寫原po那樣 後來才照著hint改 本來想說有空回頭想 結果差點寫不完==

原來啊...我空白 完了各位請問一下 原文的解答要去哪找呀

剛剛想想，那部份叫statement好像也對如果真的這種描述範圍的方式當作statement而去全部否定也會得到同樣結果，因為for any跟exist處理範圍敘述的方法剛好相反 剛剛查wiki的結論https://en.wikipedia.org/wiki/Quantifier_(logic)裡面Equivalent expressions這一節有寫到等價的敘述其中if P then Q這個敘述被否定就會變 P and ~Q

原來還有這層道理xd太猛了

所以兩種寫法都是對的嗎

沒有啊，只有上面是對的，因為它寫法應該只能解釋為是敘述範圍

上面最後面不屬於L也對嗎？我以為屬於L部分都不會動到

因為那部份是前面quantifier在修飾的statement，所以是會變全部否定的

感謝！

順便問一下 VLIW那邊跑一次的cycle是多少啊?

我第一題好像寫9 但不確定

計科最後題目是啥去了？

我是寫7 不過當時太混亂無法確定 最後還是擦掉了cache那個我記得滿後面的 不過不知道到底第幾題

我也寫7不過心態炸了亂寫 應該沒那麼簡單?

我寫9

我數8欸

8是怎麼算的？