Question:Suppose that is a set of (Boolean) formulas and A and B are two (Boolean) formulas.

(a) Show that if |- A B, then |- A and |- B

.

(b) Is it true that that |- AB, then |- A or |- B?

If yes, then give a (meta)proof.

If no, then give a counterexample for appropriately chosen ,A,B

Im not sure how to give a "metaproof", dont understand what that means, if i could get an example or an explanation that would be helpful