hw1sol08 - CS 1050 B: Construction Proofs January 25, 2007...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: CS 1050 B: Construction Proofs January 25, 2007 Solutions to Homework 1 Lecturer: Sasha Boldyreva Problem 1.1, 4 points. (There was a typo here.) Prove that the proposition if it is not possible to solve the problem, then it is possible to solve it is equivalent to it is possible to solve the problem. Both propositions have the same truth values, regardless of whether it is not possible to solve the problem is true or false. That is, both are true when it is not possible to solve the problem is true and both are false when it is not possible to solve the problem is false. Hence a bi-implication is going to be a tautology. Problem 1.2, 9 points. Write the converse and contrapositive of each statement: a) If the hose is 60 ft long, then the hose will reach the tomatoes. Converse: If the hose will reach the tomatoes, then the hose is 60 ft long. Contrapositive: If the hose will not reach the tomatoes, then the hose is not 60 ft long....
View Full Document

Page1 / 3

hw1sol08 - CS 1050 B: Construction Proofs January 25, 2007...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online