Re: [請益] 該如何理解語句邏輯的公理?
※ 引述《yauhh (喲)》之銘言：
→
08/26 15:50,
08/26 15:50
→
08/26 15:50,
08/26 15:50
→
08/26 15:50,
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)
→
08/26 21:02, , 1F
08/26 21:02, 1F
討論串 (同標題文章)