- Inference Rules
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
Prove: q ∧ p
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.