hw1sol08

# hw1sol08 - CS 1050 B Construction Proofs Solutions to...

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

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

View Full Document
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

## This note was uploaded on 08/27/2008 for the course CS 1050 taught by Professor Huang during the Spring '05 term at Georgia Tech.

### Page1 / 3

hw1sol08 - CS 1050 B Construction Proofs Solutions to...

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

View Full Document
Ask a homework question - tutors are online