新しい数学へのアプローチ 論理

中谷太郎

共立出版

• ページ数 200p
• 商品コード 9784320010529

出版社内容情報

【解説】
「a＞b→a2＞b2」の反例をあげることの意味，数列や関数の極限の定式化などを解明することを通して命題論理・述語論理・関係の論理を説明。

【目次】
命題と真理関数・論理式の変数・推論・命題関数と限定命題他