命題&論證 | 廢文板 | Meteor 學生社群

論證結構是由前提和結論所組成前提：支持結論的理由結論：主張或要證明的結果重要概念： 1.出現在前提和結論的語句都是命題 2.論證的形式化語句：由符號所組成的序列命題：符號序列的意義或內容不同語句可表達同個命題 e.g.現在在下雨/It's raining. 同樣命題可表達不同意義 e.g.明天會下雨並非所有有意義的語句皆為命題 e.g.問句、祈使句如何判斷句子是否為命題？ →命題是指有真假值(truth value)的語句對任一語句S而言，若問「S為真嗎？」是能夠回答的，那麼語句S便為命題什麼樣的語句會是命題？ →直述句正確的推論是可以從前提推導得到結論在接受前提的情況下也一定會接受結論不正確的話則無法從前提導到結論即使接受前提也不一定會接受結論語詞邏輯（語詞的取代） S是M 所有的M都是P 所以S是P 只要符合此形式皆為正確推論我是菁英所有的菁英都是人所以我是人雖然前提不是真的但還是有效論證若是有效論證且前提為真的話則稱為 sound argument 但前提和結論為真不見得是有效論證 S是M 所有的P都是M 所以S是P 我是人所有的菁英都是人所以我是菁英命題邏輯（語句的取代）如果P則Q P 所以Q 如果某星球有人類生存，則一定有氧氣某星球有人類生存所以一定有氧氣若P則Q成立 P為Q的充分條件 →若P成立，則Q也一定成立（有則必然） Q為P的必要條件 →若Q不成立，則P也不成立（無則不然）應該...沒...錯...ㄅ... 聽到快不行了(ヽ'ω`)