第2章 集合と論理 命題と証明 逆 対偶 裏 背理法 重要題