【正文】 ， 他沒有受到刑罰的處罰， ———————————————— 所以，他沒有犯罪 負命題及其推理 ? 定義： 負命題 就是否定某個命題的命題。p ? （（ p ? q ） ∧ 172。 q ? （ 4） 否定后件式 ? （ 小前提否定后件，結論否定前件 ） ? 當且僅當 p，才 q p ? q ? 非 q 172。q ? （（ p ? q） ∧ 172。 ? 充分必要條件假言推理 有效式 ： ? （ 1） 肯定前件式 ? （ 小前提肯定前件，結論肯定后件 ） ? 當且僅當 p，才 q p ? q ? p p ? 所以， q ∴ q ? （（ p ? q） ∧ p） → q ? （ 2） 肯定后件式 （ 小前提肯定后件，結論肯定前件 ） ? 當且僅當 p，才 q p ? q ? q q ? 所以， p ∴ p ? （（ p ? q ） ∧ q） → p （ 3） 否定前件式 （ 小前提否定前件，結論否定后件 ） ? 當且僅當 p，才 q p ? q ? 非 p 172。 ? 規(guī)則 ： ? （ 1）肯定前件就要肯定后件， ? 肯定后件就要肯定前件。 ? 充分必要條件假言命題的 公式 ： ? 當且僅當 p，才 q ? p ? q (“? ” 是等值符號，表示“當且僅當 …… 才 ……”) ? 充分必要條件假言命題的 語言表達形式 ： ? “有而且只有 …… 才 ……” ； ? “如果 …… 那么 …… 并且只有 ……才 ……” ；等等 ? 充分必要條件假言命題的 真值表 ? 充分必要條件假言命題的 邏輯特征 ： ? 只有當前、后件的真值完全相同時（即同真同假），充分必要條件假言命題才真，其它情況下都假。又稱之為充要條件（ 有 之必然，無之必不然 ） ? 什么是 充分必要條件假言命題 ：反映前件是后件的充分必要條件的假言命題。 ? p是 q的必要條件，非 p就是非 q的充分條件 ? 只有 p，才 q；可以轉換為：如果非 p，則非q。” 充分條件假言命題和必要條件假言命題之間的 相互轉化 關系 ? p是 q的充分條件， q就是 p的必要條件。只有書念得好，才能住進這樣漂亮的高樓。 q ? （ 2） 肯定后件式 ? （ 小前提肯定后件，結論肯定前件 ） ? 只有 p，才 q p ← q ? q q ? 所以， p ∴ p ? （（ p ← q ） ∧ q） → p 實例分析 ? 只有年滿十八歲，才有選舉權， ? 張三沒有選舉權， —————————————— 所以，張三沒有年滿十八歲。q ? （（ p ← q ） ∧ 172。 ? 必要條件假言推理 有效式 ： ? （ 1） 否定前件式 ? （ 小前提否定前件，結論否定后件 ） ? 只有 p，才 q p ← q ? 非 p 172。 ? 規(guī)則 ： ? （ 1）否定前件就要否定后件， ? 肯定后件就要肯定前件。 ? 必要條件假言命題的 公式 ： ? 只有 p，才 q ? p←q (“ ← ” 是逆蘊涵符號，表示現(xiàn)代漢語中的“只有 …… 才 ……”) ? 必要條件假言命題的 語言表達形式 ： ? “只有 …… 才 ……” ； ? “除非 …… 才 ……” ；等等 ? 必要條件假言命題的 真值表 ? 必要條件假言命題的 邏輯特征 ： ? 只有當前件假后件真時，必要條件假言命題才假，其它情況下都真。 ? 例：只有有電，電燈才亮。 只能釋放說真話的人，該釋放哪幾個人呢 ? （二）必要條件假言命題及其推理 ? 什么是 必要條件 ：如果沒有 p就一定沒有 q，有 p不一定有 q，這樣 p就是 q的必要條件。 D: 五個人當中有四個人說謊。 B: 五個人當中有兩個人說謊。這五個人供出的作案地點有出入。 Ⅱ Ⅱ 、 Ⅲ 。 假定上面的陳述屬實，如果我們現(xiàn)在正在放飛風箏，則下面的哪項也必定是真的 ? Ⅰ .風很大、 Ⅱ .天空晴朗、 Ⅲ .天氣暖和。 如果天空不晴朗，我們就不會放飛風箏。q） → 172。q ? ∴ 172。 ? （ 2）否定前件不能否定后件， ? 肯定后件不能肯定前件。 p q p → q 真 真 真 真 假 假 假 真 真 假 假 真 ? 定義： 充分條件假言推理 是以充分條件假言命題為大前提，根據(jù)充分條件假言命題的邏輯特征進行的推理。 ? 充分條件假言命題的 公式 ： ? 如果 p，那么 q ? p → q (“ → ”是蘊涵符號，表示現(xiàn)代漢語中的“如果 …… 那么 ……”) ? 充分條件假言命題的 語言表達形式 ： ? “如果 …… 那么 ……” ； ? “只要 …… 就 ……” ； ? “倘若 …… 則 ……” 等等。（ 有之必然，無之未必不然 ） ? 什么是 充分條件假言命題 ：反映前件是后件的充分條件的假言命題。 ? 假言命題種類： ? （一）充分條件假言命題 ? （二）必要條件假言命題 ? （三）充分必要條件假言命題 ? 定義： 假言推理 是前提中有一個是假言命題，并根據(jù)假言命題的邏輯特征進行的推理。 ? 你若是這個智者，你將如何設計這個問題。智者略一思考，便提出了一個巧妙的問題，并喝下了美酒。 ? 秦孝公告訴智者： ? 第一，這兩瓶外觀上看不出區(qū)別的酒，一瓶是美酒，一瓶是毒酒； ? 第二，兩個武士有問必答，但一個只回答真話，一個只回答假話，并且從外表上無法看出誰說真話誰說假話； ? 第三，兩個武士彼此間都互知底細，即互相之間都知道誰說真話誰說假話，誰拿毒酒或美酒。于是他就設計了一個特殊的行刑方式，希望智者能夠利用自己的智慧來拯救自己的生命。秦孝公有一幕僚，號稱天下第一智者，犯下過