## CSCI 5828 |
## Foundations of Software Engineering |

Course Location1B 28 Course TimeTuesday and Thursday 11:00 AM - 12:15 PM TopicsWhat's New (Home) Class Schedule Lectures Assignments Student Comments Contact Information Evaluation Criteria Status Reports What's New ArchivesJanuary, 1999 February, 1999 March, 1999 |
## CSCI 5828 Homework 1: Logic ProblemThis assignment asks you to provide a formal proof in the propositional logic with respect to a set of propositions that define some assumptions and constraints about a library and the books that it contains. ## AssumptionsS: a book is on the stacks R: a book is on reserve L: a book is on loan Q: a book is requested ## ConstraintsA book can only be in one of three states S, R, or L. If a book is requested then it must be on the stacks or on reserve. ## Set of PropositionsS <-> not (R v L) R <-> not (S v L) L <-> not (S v R) Q -> (S v R) ## Target of ProofPlease prove the following statement: If a book is on loan, it is not requested. Translated into propositional logic: L -> not Q ## Due DateIn-class students should submit their answers to this proof by Thursday, March 4, 1999. CATECS students should submit their answers by Thursday, March 11, 1999. Please submit your work via e-mail at <kena@cs.colorado.edu>. |

© Ken Anderson, 1999.

Last Updated: 8/16/00; 2:45:54 PM