[理工] [離散] 邏輯

看板Grad-ProbAsk作者 (賴打葛葛)時間14年前 (2010/03/12 00:05), 編輯推噓9(9推 0噓 6→)
留言15則, 6人參與, 最新討論串1/2 (看更多)
~Ax P(x) (A=for all ,符號不會打,抱歉) 與 ~( Ax P(x) ) 一樣嗎? -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 118.170.192.207
推
03/12 00:49, , 1F
第一個是不完全符合 第二個是全部都不符合
03/12 00:49, 1F
→
03/12 01:02, , 2F
所以~Ax P(x)= Ex P(x) ? [E = 存在]
03/12 01:02, 2F
→
03/12 01:04, , 3F
而 ~( Ax P(x) ) = Ex ~P(x) ?
03/12 01:04, 3F
推
03/12 07:54, , 4F
我怎覺得都一樣......
03/12 07:54, 4F
推
03/12 08:02, , 5F
不一樣..
03/12 08:02, 5F
→
03/12 08:05, , 6F
把P(X)當成 X上台大 則上面是有一些人上不了台大
03/12 08:05, 6F
→
03/12 08:05, , 7F
下面是沒有人上的了台大
03/12 08:05, 7F
推
03/12 08:08, , 8F
不是都 Ex ~P(x) ? 只要有人沒上台大就符合了？
03/12 08:08, 8F
推
03/12 08:28, , 9F
下面的不能這樣看
03/12 08:28, 9F
推
03/12 08:32, , 10F
3樓下的下面不是這樣嗎
03/12 08:32, 10F
推
03/12 09:14, , 11F
我覺得下面那句只是沒有全部上台大而已耶
03/12 09:14, 11F
→
03/12 09:14, , 12F
並非所有人皆不上，而是有人沒上
03/12 09:14, 12F
→
03/12 09:15, , 13F
第一句我想是有人上台大
03/12 09:15, 13F
推
03/12 09:33, , 14F
LUCKY哥的答案是對的
03/12 09:33, 14F
推
03/12 09:42, , 15F
台大電機曾經考過
03/12 09:42, 15F
‣ 更多 lightergogo 的文章
文章代碼(AID): #1BcHJ5n6 (Grad-ProbAsk)
‣ 更多 lightergogo 的文章
文章代碼(AID): #1BcHJ5n6 (Grad-ProbAsk)