※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.62.177.185
> -------------------------------------------------------------------------- <
作者: catawu ( ggg) 看板: logic
標題: Re: [請益] P -> Q
時間: Mon Mar 7 00:48:32 2005
※ 引述《easytoshow (香草把逋)》之銘言:
: p,q為兩敘述
: 當p->q為真時,可記作p=>q
: 此時p為q的充分條件
: q為p之必要條件
: 我的疑問發生在一題高中數學,原題是要判斷充要條件
: "若x>2,則x>0"
: 上面這句話看起來恆成立
: 但是就若p則q的定義來看
: x>2 跟x>0並不算一個敘述押..XD
: 非常疑惑
: 我們通常很直觀的假設前提正確,這時的確可推出結論
: 但是..x>2不是一個open sentence嗎
不錯啊!
居然注意到這一點了
不會很糟啊!
不過你想想看
若把x換成名字a
該句的意思還是不會差到哪裡去的
若a>2, 則a>0
對吧!
其實在很多時候x都是當做任意一個name來用的
所以在很多邏輯書裡面
都會使用open formula
還有open的就叫formula
不叫sentence.
: 是因為高中數學比較不嚴謹嗎
: 煩請各位前輩解答我的疑惑 謝謝...orz
不客氣
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.143.99
p,q為兩敘述
當p->q為真時,可記作p=>q
此時p為q的充分條件
q為p之必要條件
我的疑問發生在一題高中數學,原題是要判斷充要條件
"若x>2,則x>0"
上面這句話看起來恆成立
但是就若p則q的定義來看
x>2 跟x>0並不算一個敘述押..XD
非常疑惑
我們通常很直觀的假設前提正確,這時的確可推出結論
但是..x>2不是一個open sentence嗎
是因為高中數學比較不嚴謹嗎
煩請各位前輩解答我的疑惑 謝謝...orz
--