→ 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，
就要寫明你的條件，才是正確的statement表達。
而加上條件後，就不會只用 p->q 三個符號就能完全表達完。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.32.24.209
※ 編輯: luciferii 來自: 114.32.24.209 (08/26 16:04)
→ somedoubt:路戰神怎麼會寫出這種充滿含混岐義的文章？ 08/26 21:02