Recitation 13 for CS160

Colorado State University

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:
- p ⊕ q
- p ↔ r
- ¬ r
Prove: q

Given:
- p → q
- r → p
- r
Prove: q ∧ p

Given:
- p ∧ q
Prove: q ∨ r

Which of the following are logically equivalent to (p ∧ q) → r?
1. r ∨ ¬(p ∧ q)
2. p ∧ (¬¬q ∧ ¬r)
3. p → (q → r)
4. p → (q ∧ r)
5. (r ∨ ¬p) ∨ ¬q

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

© 2015 CS160 Colorado State University. All Rights Reserved.