Discrete Mathematics

Answer # 12

Show that the argument form with premises p_1, p_2, ..., p_n and conclusion q rightarrow r is valid if the argument form with premises p_1, p_2, ..., p_n, q, and conclusion r is valid. Show that the argument form with premises (p t) rightarrow (r s), q rightarrow (u t), u rightarrow p, and not s and conclusion q rightarrow r is valid by first using Exercise 11 and then using rules of inference from Table 1