Research Space for Linear Algebra & Discrete Mathematics
第一題在第四版下冊10-86上方 (a)答案亦是不過你的問題是若移到y前面的話則 要變成"存在x,not 存在y,T(x,y)"not 這個字 可過關斬將但是遇到量詞，量詞要變所以移到最右邊就變成"存在x,for all y,notT(x,y)"第二題方向是 "=>"
對不起 第二題 是兩邊都對
第二題(96中興資管)那題應該是false,(<=)可能會有問題, 譬如說存在一個x,p(x)但~q(x), 但另外存在著x, ~p(x)此時右邊那句話還是會成立(因為不是∀x,p(x)),但就矛盾了∀x,(p(x)=>q(x))老師在題庫班是舉了個p(x):x>1, q(x):x>2的例子來說明此兩句話並不等價
張貼留言
3 則留言:
第一題
在第四版下冊10-86上方 (a)答案亦是
不過你的問題是若移到y前面的話
則 要變成
"存在x,not 存在y,T(x,y)"
not 這個字 可過關斬將
但是遇到量詞，量詞要變
所以移到最右邊就變成
"存在x,for all y,notT(x,y)"
第二題方向是 "=>"
對不起
第二題 是
兩邊都對
第二題(96中興資管)那題應該是false,
(<=)可能會有問題, 譬如說存在一個x,
p(x)但~q(x), 但另外存在著x, ~p(x)
此時右邊那句話還是會成立(因為不是∀x,p(x)),
但就矛盾了∀x,(p(x)=>q(x))
老師在題庫班是舉了個p(x):x>1, q(x):x>2的例子
來說明此兩句話並不等價
張貼留言