内容説明
論理計算の形式的な実際面とともに、記号論理学の基本的な考え方や基礎概念をわかりやすく説明する。
目次
１ 命題論理（真理関数；Ｂｏｏｌｅ代数；真理関数の標準形；Ｔａｕｔｏｌｏｇｙ ほか）
２ 述語論理（命題関数；超限的命題；数学的理論における命題の形式的表現；述語論理 ほか）
著者等紹介
前原昭二［マエハラショウジ］
１９５１年東京大学理学部数学科卒業。元筑波大学名誉教授・東京工業大学名誉教授。理学博士。専攻は数学基礎論（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
