自然推論について、実用的な理解ができる本。 野矢茂樹著　論理学を読み終わった後に読むのがおすすめ。