命題
proposition: 真偽を(客観的に)返せる主張
命題の真偽に変化がある場合、その変化をもたらすものを条件とする？
条件の否定と命題の否定の両方と行うのが対偶
#数学