T |― A　かつ　T |― B　⇒　T |― A∧B
ウシュカヴィッツの公理系で証明よろ。