>>推理するたとえば「ミヤマクワガタの足は6本ある」「ノコギリクワガタの足は6本ある」「コクワガタの足は6本ある」から、「クワガタの足は6本あるだろう」と考えることを推理とよぶことにします。推理は、真理を推(お)しはかるという意味で、事例から結論を想像で引きだす方法です。クワガタの例では、大中小3種類のクワガタの例から、クワガタの足が6本であることを引きだしています。クワガタの足は6本だろうコクワガタの足は6本ある結論の表現は推論が「〜である」にたいし、推理は「〜だろう」「〜かもしれない」です。それはなぜでしょうか。推論はすべてのクワガタについて結論をみちびきだせますが、推理はいくつかのクワガタから結論を引きだしているからです。(すべてのクワガタ→足が6本)だろう記号であらわすと、この例の推理はつぎのような形式です。Aを「クワガタ」、Bを「足が6本」、→を「ならば」、?を「かもしれない」とします。「すべてのA」は「A」と表されることが多いです。(すべてのA→B)?応用すると、「ハシブトガラスは黒い、ハシボソガラスも黒い、ならば、カラスは黒いかもしれない。「ならば」は、「だから」「すると」「それゆえ」「ゆえに」といった意味です。