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
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
No answers have yet been posted. Add your answer to this question.