proposition: 真偽を(客観的に)返せる主張

命題の真偽に変化がある場合、その変化をもたらすものを条件とする？

条件の否定と命題の否定の両方と行うのが対偶