來 檢驗 其 合理性 ， 並且 推導出 結論 。 首先 要 提出 論點 ， 且 要 把 它 視為 正確 無誤 的 ， 接著 再 導出 結論 ， 最後 才 回 過 頭 檢驗 這 個 結論 是否 正確 。 範例 1： 所有 的 小雞 都 是 警察 。 警察 都 會 跳 ， 因為 他們 是 鳥兒 。 鳥兒 都 有 一 隻 耳朵 。 推論 ： 小雞 們 都 有 一 隻 耳朵 。 a ) 對 b ) 錯解答 ： a ， 對 。 小雞 是 鳥兒 ， 而 鳥兒 都 有 一 隻 耳朵 ， 所以 可 判斷 此 推論 正確 。 範例 2： 每 株 植物 都 有 一 扇 窗 ， 每 扇 窗戶 都 有 一 封 信 ， 所以 每 株 植物 都 有 一 封 信 。 a ) 對 b ) 錯解答 ： a ， 對 。 此 題 很 明顯 的 ， 每 株 植物 都 擁有 一 封 信 。 範例 3： 「 紅花 聞起來 都 是 香 的 。 」 「 聞起來 很 香 的 花 都 是 大 朵 的 。 」 __UNDEF__ 前提 a ： 紅色 的 花 都 是 大 朵 的 b： 只有 聞起來 很 香 的 花 是 大 朵 的 __UNDEF__ 推論 解答 ： a ， 是 。 推論 的 正確性 必須 加以 檢驗 ， 只有 根據 前提 提出 的 假設 為 正確 時 ， 才 會 產生 正確 的 結果 ， 若 假設 有 誤 ， 就 會 產生 錯誤 的 結果 。 在 敘述句 中 提到 的 各 個 元素 ， 可以 用 大寫 字母 代替 ， 稱 之 為 邏輯 變項 。 我們 可以 藉 此 將 複雜 的 表述 簡化成 易 理解 的 形式 。 如 用 A→B 表達 「 若 A 則 B 」 、 A B 表達 「 A 屬於 B 的 一 部分 」 、 A=1 表達 「 A 為 真 」 、 A=0 表達 「 A 為否 」 。 此 符號化 方式 可 用以 檢查 不同 的 假設 。 以 此 題 為 例 ， R= 「 花 是 紅 的 」 、 P= 「 花 是 香 的 」 、 G= 「 花 是 大 朵 的 」 ， 則 ：R→P 、 R P ( 紅花 聞起來 都 是 香 的 ， 或 ： 若是 紅花 ， 聞起來 都 很 香 ) 、 R→G 、 P G ( 聞起來 很 香 的 花 ， 都 很 大 朵 ， 或 ： 如果 花聞 起來 很 香 ， 都 是 大 朵 的 花 ) 。 承接 以上 的 第一 步驟 ， 我們 可以 歸納出 ： 當 R→P ， 且 P→G ， 則 R→G ( 所有 的 紅花 都 是 大 朵 的 ， 也 就 是 a 選項 為 真 ) 。 範例 4 ： 以下 為 前提 ： 「 有 幾 隻 狗 是 老 狗 。 」 「 大部分 的 老 狗 都 沒有 牙齒 。 」 則 以下 哪些 推論 邏輯 是 正確 的 ？a ) __UNDEF__ 有 幾 隻 狗 並 不 老 b ) __UNDEF__ 有 牙齒 的 老狗 不 是 狗 c ) __UNDEF__ 所有 的 狗 都 沒有 牙齒 d ) __UNDEF__ 老 狗 可能 有 或 沒有 牙齒 e ) __UNDEF__ 所有 是 狗 的 老 狗 都 沒有 牙齒 解答 ： a , d 若 以 H 表示 全體 狗 、 A 為 全體 老狗 ， 則 可 表示 為 A H ， 亦即 A 為 H 的 一 部分 。 另外 還 有 A 為 年輕 的 狗 全體 ， 亦 為 H 的 一 部分 。 此 論述 可 藉由 圖像 呈現出來 ， 可 看出 只有 選項 a 與 d 是 正確 的 。 習題 (一) 請 依據 前提 判斷 推論 是否 正確 ： 1. __UNDEF__ 所有 電腦 都 聽 音樂 ， 音樂 可以 坐下 ， 所以 電腦 可以 坐下 。 a ) 對 b ) 錯 2. __UNDEF__ 每 張 桌子 都 有 眼鏡 ， 每 副 眼鏡 都 有 腳 ， 所以 每 張 桌子 都 有 腳 。 a ) 對 b ) 錯 3. 水瓶 可以 跳舞 ， 但 不能 游泳 ； 包包 可以 游泳 ， 但 不能 跳舞 ； 椅子 可以 游泳 ， 也 可以 跳舞 。 推論 ： 椅子 比 水瓶 和 包包 還 聰明 。 a ) 對 b ) 錯 4 .
 
__UNDEF__ 鯊魚 可以 吃 任何 東西 ， 所有 植物 都 是 鯊魚 ， 每 隻 老鼠 都 很 大 ， 因為 它們 喜歡 吃 鯊魚 。 推論 ： 鯊魚 可以 吃 老鼠 。 a ) 對 b ) 錯 5 .
 
每 個 玻璃杯 都 會 跳躍 也 會 流汗 ， 飛機 只有 在 彈跳 和 吼叫 時 才 是 玻璃杯 。 推論 ： 玻璃杯 就 是 飛機 。 a ) 對 b ) 錯 6 .
 
如果 所有 的 相機 鏡頭 都 是 房間 ， 而 有些 房間 是 辮子 ， 則 有些 相機 鏡頭 是 辮子 。 a ) 對 b ) 錯習題 (二) 1 .
 
__UNDEF__ 以下 為 前提 條件 ： 「 有 幾 個 花瓶 是 陶瓷杯 。 」 「 大部分 的 陶瓷杯 是 白色 的 。 」 「 所有 的 白色 陶瓷杯 都 有 藍色 杯緣 。 」 請問 ， 以下 推論 何者 正確 ？ a ) __UNDEF__ 有 幾 個 白色 陶瓷杯 是 花瓶 。 b ) __UNDEF__ 所有 的 花瓶 都 不 是 陶瓷杯 。 c ) __UNDEF__ 花瓶 是 白色 且 有 藍色 杯緣 的 陶瓷杯 。 d ) __UNDEF__ 沒有 藍色 杯緣 的 陶瓷杯 不 是 花瓶 。 e ) __UNDEF__ 沒有 藍色 杯緣 的 白色 陶瓷杯 是 花瓶 。 2. 以下 為 前提 條件 ： 「 有 幾 片 樹葉 是 樹木 。 」 「 有 幾 棵 樹 是 高大 的 。 」 「 大部分 高大 的 樹木 是 綠色 的 。 」 請問 ， 以下 推論 何者 正確 ？ a ) __UNDEF__ 所有 高大 的 樹木 都 是 綠色 的 。 b ) __UNDEF__ 所有 是 樹 的 高大 樹木 都 是 綠色 的 。 c ) __UNDEF__ 所有 高大 綠色 的 樹木 都 是 樹葉 。 d ) __UNDEF__ 有 幾 棵 高大 的 樹木 不 是 綠色 的 。 e ) __UNDEF__ 不 高大 的 樹木 同時 也 是 樹葉 。 3 .
 
__UNDEF__ 以下 為 前提 條件 ： 「 有 幾 輛 火車 是 蒸氣 火車 。 」 「 有 幾 輛 蒸氣 火車 往 南 駛 。 」 「 只有 往 南 駛 的 蒸氣 火車 有 列車員 。 」 請問 ， 以下 推論 何者 正確 ？ a ) __UNDEF__ 所有 有 列車員 的 蒸氣 火車 都 是 火車 。 b ) __UNDEF__ 有 幾 輛 蒸氣 火車 不 往 南 駛 。 c ) __UNDEF__ 不 是 所有 的 火車 都 有 列車員 。 d ) __UNDEF__ 不 往 南 駛 的 蒸氣 火車 沒有 列車員 。 e ) __UNDEF__ 火車 就 是 往 南 駛 的 蒸氣 火車 。 4 .
 
__UNDEF__ 以下 為 前提 條件 ： 「 有 幾 輛 奧迪 汽車 能 飛 。 」 「 所有 不能 飛 的 奧迪 汽車 都 會 下棋 。 」 請問 ， 以下 推論 何者 正確 ？a ) __UNDEF__ 有 幾 輛 奧迪 汽車 能 飛 也 能 下棋 。 b ) __UNDEF__ 能 飛 的 奧迪 汽車 也 能