想订正个今天考的东西
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是怎么算的？