論理とは何かを簡単に紹介します。論理の基本単位は命題です。命題とは、真偽（正誤）が明確に定まる主張のことです。矛盾とは、同じ命題が真でもあり、偽でもあることを言います。論理自体は、矛盾に気を付けて命題を⇒で繋いでいくだけの図にも書ける単純で簡単なことです。例として、対偶の証明を行います。