確認したんいんですが
Ｈｑにおいて演繹定理はＡが閉論理式じゃないとなりたたないというのは嘘ですか？
かなり衝撃的なんですが。