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
 Spring '09
 DANBERWICK
 Math, Logic, Division, Steve, righthand column, DAN BERWICK EVANS

Click to edit the document details