Recitation R13
- Rules of Inference
Spring 2014
CS160: Foundations in Programming
The purpose of this lab is to:
- Grade and go over the answers to the previous math homework.
- Get more practice with solving proofs using logic rules
Math Homework
Students will present the answers to each of the three logic proofs from Math Homework 1,
linked here. Show your paper homework to the
TA at the beginning of class to get credit for the assignment. Incomplete homeworks will
only receive partial credit.
Create a text file called R13.txt and solve the following logic proofs:
Use the Rules of Inference and state the specific rule used for each step.
- Given:
Prove: q
- Given:
Prove: (q ∧ p)
- Given:
Prove: C
- Given:
Prove: ¬D
The answers will be discussed at the end of class.
Show your work to the TA and turn in R13.txt to RamCT for credit on this recitation.
© 2014 CS160 Colorado State University. All Rights Reserved.