文字pを命題から除いて同値な命題を構成することができる