*注：該筆記為學習【【華南師范大學】邏輯學（全38講）陳曉平】 https://www.bilibili.com/video/BV1X84y1t7bW/?share_source=copy_web&;vd_source=cda669443fe5fb241b9390b1393c5680
后記錄下的一些文字。

推論的有效性和可靠性

• 什么推論有效？

  當一個論題的前提為真時，結論一定真時，那么這個推論有效。

• 那么我們怎么證明一個推論有效？

  1.替換例子：通過一個對推論形式中的變項作替換，而得到的一個具體推論，叫做該推論形式的一個替換例子。

  (命題變項和詞項變相—有些變項只可帶入特定變相。)

  一個推論是有效的，當且僅當，該推論形式的所有替換例子并非所有前提真結論假→一個推論是有效的，當且僅當，它是一個有效推論形式的替換例子。

  推論是否有效：1-直覺 2-滿足上述系統(tǒng)，所有替換例子帶入后都滿足有效的定義。

• 如何確定一個推論形式的有效性和無效性

  不能通過舉例的方法來正向證明一個推論的有效性，因為一個推論的替換形式有無數(shù)。

  然而我們可以證明一個推論形式無效，即反例。

  構造一個前提真，而結論假的推論形式。

  例:有M不是P，有S是M，那么S不是P。(反例:有些人不是學生，有些小學生是學生，那么有些小學生不是人。)

  有些的含義： 1.有些S是P，有些S不是P。 2.至少有一S是P。邏輯學中，統(tǒng)一規(guī)定為“2”。

• 邏輯學中的自我中心詞：

  我 這 那 現(xiàn)在

• 什么是推論的可靠性：

  論題存在的四種形式：

  1.所有前提真且結論真。 2.所有前提真且結論假。 3.至少有一前提假并且結論真。 4.至少有一前提假并且結論假。