This preview shows page 1. Sign up to view the full content.
Unformatted text preview: (j) If Steve eats a doughnut, then it rocks him like a hurricane. (3) (Eccles 1.3) Using the truth table for ‘or’ complete the following truth table for the statement a ≤ b : a b a < b a = b a ≤ b 1 1 2 1 1 22 1 (4) (Eccles 1.5) Prove that  a  2 = a 2 for every real number a . (5) (Bergman Exercise 3) Suppose P and Q are two mathematical assertions. (Examples might be “ n > 0” and “ n is even” if we are talking about an integer n .) For each statement in the lefthand column, ﬁnd the logically equivalent statement in the righthand column. (There are two statements in the lefthand column which are not equivalent to any statements in the righthand column.) P ∧ Q Q = ⇒ P P ∨ ( ¬ Q ) Q ∧ P P ( ¬ P ) = ⇒ Q P ∨ Q ( ¬ P ) ∧ ( ¬ Q ) ¬ ( P ∧ Q ) ( ¬ P ) ∨ ( ¬ Q ) ¬ P ¬¬ P 1...
View
Full
Document
This note was uploaded on 05/04/2011 for the course MATH 73 taught by Professor Danberwick during the Spring '09 term at Berkeley.
 Spring '09
 DANBERWICK
 Math, Division

Click to edit the document details