pencil-icon
Build your own quiz

Mathematics

University

Image

Rules of Inference

272
plays

10 questions

Show Answers
See Preview
  • 1. Multiple Choice
    30 seconds
    1 pt

     pq, p  p\rightarrow q,\ p\ \   implies  qq  also written  (pq)pq\left(p\rightarrow q\right)\wedge p\Longrightarrow q  

    Modus Ponnens

    Modus Tollens

    Disjunctive Syllogism

    Hypothetical Syllogism

  • 2. Multiple Choice
    30 seconds
    1 pt

     (pq), q \left(p\rightarrow q\right),\ \sim q\   implies  p\sim p  

    Modus Ponens

    Modus Tollens

    Disjunctive Syllogism

    Simplification

  • 3. Multiple Choice
    30 seconds
    1 pt

     (pq), (qr) \left(p\rightarrow q\right),\ \left(q\rightarrow r\right)\   implies  (pr)\left(p\rightarrow r\right)  

    Modus Ponens

    Modus Tollens

    Distributive Syllogism

    Hypothetical Syllogism

  • Answer choices
    Tags
    Answer choices
    Tags

    Explore all questions with a free account

    Already have an account?