MAE 106 (2018) – Assignment 3

      1. Know the following definitions.
        • Argument (what constitutes a valid argument?)
        • Fallacy
        • Modus ponens
        • Modus tollens
      2. Do the following exercises from the textbook (Kohar).
        • 2.2.3 (a), (b), 2.2.4, 2.2.5, 2.2.6, 2.2.7, 2.2.8, 2.2.9, 2.2.12, 2.2.13, 2.2.14, 2.2.15, 2.2.16, 2.2.17, 2.2.19
        • 2.4.1, 2.4.2
        • 2.9.4 a) b) c), 2.9.5, 2.9.6, 2.9.7
      3. Using the rules of inference, prove that modus ponens is a valid argument; that is, show that [(p\to q)\wedge p]\to q\Leftrightarrow \mathbb{T}.
      4. The following argument is called affirming the consequent. Is it valid?

    (Premise) p \rightarrow q
    (Premise) q
    (Conclusion) \therefore p

      1. The following argument is called denying the antecedent. Is it valid?

    (Premise) p \rightarrow q
    (Premise) \neg p
    (Premise) \therefore \neg q

Reply

Your email address will not be published. Required fields are marked *