いちょう確認してもらっていいですか？
ＬＫで→wの推論規則がＨｑで許されるというのは
Ａ1∧Ａ2…Ａｎ→Ｂ1∨Ｂ2…ＢｎがＨｑで証明可能⇒Ａ1∧Ａ2…Ａｎ→Ｂ1∨Ｂ2…Ｂｎ∨Ｃを示すということですよね？