Re: [請益] 該如何理解語句邏輯的公理?
※ 引述《luciferii (路西瓜)》之銘言：
: ※ 引述《yauhh (喲)》之銘言：
: → teves:然後他們就會學到"蘇格拉底是人"是一個statement,它是true 08/26 15:50
: → luciferii:「蘇格拉底是人」這6個字也不是TRUE，它只是個statement 08/26 15:50
: → teves:"你是誰?"不是statement 08/26 15:50
: 邏輯課裏都會強調，請你撇開真實世界的想法。
: 例如以下的statement
: All men are aliens.
: Socrates is a man -> Socrates is a alen.
: 這絕對是個有效的statement，跟 Socrates 在實世界是不是火星人都沒有關係。
: 當只有p->q這樣的 statement 存在時
: Socrates is a man.
: 或
: Moon is made of cheese -> Ma is the President of US.
: 本身都無法判斷是T/F還是Valid/Invalid，他們就只是單純的statement。
: 除非你能由式子推出它們是一個無關 p/q的恆真恆假句。
: 真實世界你可以當成一種外加的前件。
: 若你要說這個 statemnet 是 T/F還是Valid/Invalid，就要寫出你的條件
: 而加上條件後，就不會只用 p->q 三個符號就能完全表達完。
我也再開回你好了
這是到教邏輯推論的東西了
你看我之前提的那份教材內容
再給你wiki
http://en.wikipedia.org/wiki/Statement_(logic)
他們在舉例時會特別提"這是現實世界"嗎?
的確一個statement可以是任意的T/F值
但當我們以現實世界的東西舉例
沒有特別提真值的情況下
通常就是指現實生活中的值
你要說什麼因為你沒給預設值所以它可以是任何值
是沒錯
但在我看來只是吹毛求疵罷了
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.109.22.19
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 10 之 20 篇)：