論理と矛盾、対偶の証明

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