作者houallan5478 (houallan5478)
看板Grad-ProbAsk
标题[理工] 106 台大电机 逻辑
时间Tue Dec 17 13:57:20 2019
https://i.imgur.com/TfRYTb4.jpg
想问第一题。 答案是 false
看到这种逻辑的等价，两边取的x y变数是要一样的吗 ？
也就是不能把右边看成新的变数？
https://i.imgur.com/gYpGVML.jpg
想额外再问两个想到的问题：
这两题有等价吗？
https://i.imgur.com/ZXdtpdJ.jpg
感谢大大了
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 39.10.128.222 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1576562242.A.EAC.html
1F：→ Ricestone: 单纯就是P(x,y)跟P(y,x)不一样而已啊 12/17 14:14
2F：→ Ricestone: 不过这题应该是T 12/17 14:17
3F：→ Ricestone: 虽然P(x,y)跟P(y,x)不一样，但是∃x跟∃y可以互换 12/17 14:18
4F：→ Ricestone: 也就是你的第三张图都是恒等的 12/17 14:18
5F：→ houallan5478: 原来如此!懂了感谢R大 12/17 22:51