2009-12-18

[離散] 邏輯問題

Q1請問老師你的分類題庫10-76題:
題目中沒說x=/=y
那這樣考試的時候依然是預設x可以=y嗎?
因為這樣的話c的解答就會不一樣了

Q2:
分類題庫10-76題 (b):
∀ x, y2, ∃1....
當中y2前面並沒有任何"∀ "與"∃"的數學符號
那請問這樣的y2應該是怎麼樣的呢?

Q3:
10-70
~(∃y){Q(x,y)}
請問y前面的negative符號是指針對y嗎?
還是連Q也會一起取negative?

3 則留言:

線代離散助教(wynne) 提到...

1. 因為我們通常不會自己和自己比身高, 所以假設x!=y還滿合乎常理的, 寫的時候這樣註明一下就ok了
2. 你是不是標錯題號了?
3. 連 Q 一起

提到...

2標錯題號了
是10-79
sorry

線代離散助教(wynne) 提到...

10-79: 前面已經有寫for all, 也就是原本應該要是∀x∀y2, 但因為他想說兩個都是for all所以就把後面的量詞給省略了