內容簡介
本書旨在以極少的篇幅把現代符號邏輯的技術介紹給讀者。這些技術遠較傳統邏輯簡單，卻可以處理更多的日常推理，但由於使用符號較多，許多人因此望而生畏。作者一方面運用遊戲的設計讓讀者快速理解概念，另一方面更利用一般常識來解釋抽象的規則，使讀者易於瞭解。全書曾以講義形式提供大專院校學生研讀，確實有助於提高其對於邏輯學習的興趣及成績表現。本書適用於大專院校的「邏輯」相關課程；且內容簡潔有趣，也適合一般讀者自修之用。
作者簡介
葉新雲
學歷╱
臺灣大學哲學系、所畢業
美國伊利諾大學芝加哥學區文學碩士
美國印第安納大學哲學博士候選人經歷╱
曾任臺灣大學哲學系、美國蒙荷略大學、史密斯大學講師。
1994年返臺後，任教於元智大學長達6年，任教於臺灣科技大學迄今。
目錄
章節介紹
第一章 介紹有關「-」和「&unwedge;」的遊戲第二章 擴充我們的遊戲介紹「∧」與「→」第三章 雙條件句、邏輯定理、歸謬法以及等值式互換規則第四章 擴充我們的遊戲（介紹「(x)」及「(&exists;x)」）第五章 關於「(x)」與「(&exists;x)」的推論規則第六章 錯誤的推論如何加以證明
