>>266
τのあるモデルにおいては真となるが、他のモデルでは偽となるような論理式φはτとは独立であることを示せ、という問題がわかりません
推論規則はLKに従うものとします
よろしくお願いします