¬Iって命題の否定のこと?