###
Recitation R13
- Inference Rules

Spring 2015

**
CS160: Foundations in Programming **

The purpose of this lab is to:
- Practice doing proofs using the Rules of Inference

- Prove the following Rules of Inference
using a truth table, and state which rows prove the equivalence.

- Modus Tollens
- Disjunctive Syllogism

- Given:
Prove: q

- Given:
Prove: q ∧ p

- Given:
Prove: q ∨ r

- Which of the following are logically equivalent to (p ∧ q) → r?

- r ∨ ¬(p ∧ q)
- p ∧ (¬¬q ∧ ¬r)
- p → (q → r)
- p → (q ∧ r)
- (r ∨ ¬p) ∨ ¬q

Submit your R13.txt to RamCT to verify your attendance.

© 2015 CS160 Colorado State University. All Rights Reserved.