argument, inference, proofという英語の単語はみな似た意味をもっていて、日本語では論証、推論、証明などと訳されています。そして、いずれも幾つかの前提や仮定から論理規則を使って結論を導き出すことを指しています。その典型例が数学のテキストに登場…