目次
序 論証(論証とは;帰結提示語と前提提示語 ほか)
第1章 形式論理(概念;概念の定義 ほか)
第2章 命題論理(命題の記号化;真理関数と真理値 ほか)
第3章 述語論理(限量記号;述語論理の対当方陣 ほか)
著者等紹介
大崎博[オオサキヒロシ]
早稲田大学、同大学院博士課程卒業(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
-
- 和書
- 機械工作要論 (第3版)
-
- 和書
- ウェザーキャスター