1. p∨q,¬p⊢q
A. Valid
B. Invalid

2. p⊃(q⊃r),q,¬r⊢p
A. Valid
B. Invalid

3. ¬p∧¬q⊢p↔q
A. Valid
B. Invalid

4. p⊃(q∨r)⊢p⊃q
A. Valid
B. Invalid

5. p⊃q⊢q⊃p
A. Valid
B. Invalid