A student club holds a meeting. The predicate M(x) denotes w…

A student club holds a meeting. The predicate M(x) denotes whether person x came to the meeting on time. The predicate O(x) refers to whether person x is an officer of the club. The predicate D(x) indicates whether person x has paid his or her club dues. The domain is the set of all members of the club. The names of the members and their truth values for each of the predicates is given in the following table. Indicate whether each expression is true or false. Name M(x) O(x) D(x) Hillary T F T Bernie F T F Donald F T F Jeb F T T Carly F T F   ∀x ¬(O(x) ↔ D(x))   [Q1] ∀x ((x ≠ Jeb) → ¬(O(x) ↔ D(x)))   [Q2] ∀x (¬O(x) → D(x))   [Q3] ∃x (M(x) ∧ D(x))   [Q4] ∃x (O(x) → M(x))   [Q5] ∃x (M(x) ∧ O(x) ∧ D(x))   [Q6]  

Consider the problem of purchasing cans of juice. Suppose th…

Consider the problem of purchasing cans of juice. Suppose that juice is sold in 2-packs or 5-packs. Let Q(n) be the statement that it is possible to buy n cans of juice by combining 2-packs and 5-packs. This problem discusses using strong induction to prove that for any n ≥ 4, Q(n) is true. 1) The inductive step will prove that for k ≥ 5, Q(k+1) is true. What is the inductive hypothesis? (a) Q(j) is true for any j = 4, 5, …, k. (b) Q(j) is true for any j = 4, 5, …, k+1. (c) Q(j) is true for any j = 5, …, k+1. [Q1]   2) The inductive step will prove that for k ≥ 5, Q(k+1) is true. What part of the inductive hypothesis is used in the proof? (a) Q(k-2) (b) Q(k-1) (c) Q(k) [Q2]   3)In the base case, for which values of n should Q(n) be proven directly? (a) n = 3, n = 4, and n = 5. (b) n = 4 and n = 5. (c) n = 4, n = 5, and n = 6. [Q3]

Determine the truth value of each expression below. The doma…

Determine the truth value of each expression below. The domain is the set of all real numbers. ∀x∃y (xy > 0)  [Q1] ∃x∀y (xy = 0)  [Q2] ∀x∀y∃z (z = (x – y)/3)  [Q3] ∀x∃y∀z (z = (x – y)/3)  [Q4] ∀x∃y y2 = x   [Q5] ∀x∃y (x < 0 ∨ y2 = x)   [Q6] ∃x ∃y (x2 = y2 ∧ x ≠ y)  [Q7] ∀x ∀y (x2 ≠ y2 ∨ |x| = |y|)   [Q8]