Question

In: Advanced Math

Using the successor function prove distribution over addition. Do this in a detailed proof.

Using the successor function prove distribution over addition. Do this in a detailed proof.

Solutions

Expert Solution

Property :

which is called disrtibutive rule for multiplication over addition.

Proof : We will prove this property by using the principle of mathematical induction. Let X be a set of all such that

Then Assume that We must show that

As before we use a chain of equalities.

by the definition. Since Thus If we now apply the associative law for addition we have Inside the first set of braces we apply the commutative rule for addition and have by the associative law of addition applied inside the parentheses. We now apply the commutative law of addition within the paranthesesand the associative law of addition to find By definition the last expression is Thus and the distributive law is proved.


Related Solutions

Prove that the sum of angles of a hyperbolic triangle is less than 180. Detailed Proof
Prove that the sum of angles of a hyperbolic triangle is less than 180. Detailed Proof
Prove the following using the method suggested: (a) Prove the following either by direct proof or...
Prove the following using the method suggested: (a) Prove the following either by direct proof or by contraposition: Let a ∈ Z, if a ≡ 3 (mod 5) and b ≡ 2 (mod 5), then ab ≡ 1 (mod 5). (b) Prove the following by contradiction: Suppose a, b ∈ Z. If a² + b² is odd, then (2|a) ⊕ (2|b), where ⊕ is the exclusive disjuntion, i.e. p ⊕ q = (p ∨ q) ∧ ¬(p ∧ q). (d)...
i need a very detailed proof (Show your work!) Let n > 1. Prove: The sum...
i need a very detailed proof (Show your work!) Let n > 1. Prove: The sum of the positive integers less than or equal to n is a divisor of the product of the positive integers less than or equal to n if and only if n + 1 is composite.   
Block copy, and paste, the argument into the window below, and do a proof to prove...
Block copy, and paste, the argument into the window below, and do a proof to prove that the argument is valid. 1. (p   ⊃ z)   •   (q • ~z) 2. (~p • q)    ⊃   s 3. m   v ~s     : .    m
Block copy, and paste, the argument into the window below, and do a proof to prove...
Block copy, and paste, the argument into the window below, and do a proof to prove that the argument is valid. 1. (p   • q)   •   (q ⊃   x) 2. ~x v ~s 3. n   v   s     : .    t ⊃ n
Block copy, and paste, the argument into the window below, and do a proof to prove...
Block copy, and paste, the argument into the window below, and do a proof to prove that the argument is valid. 1. (p   ⊃   x) • (x ⊃ ~q) 2. p •   n 3.   t v q     : .     t
Block copy, and paste, the argument into the window below, and do a proof to prove...
Block copy, and paste, the argument into the window below, and do a proof to prove that the argument is valid. 1. (p   ⊃ z)   •   (q • ~z) 2. (~p • q)    ⊃   s 3. m   v ~s     : .    m
Block copy, and paste, the argument into the window below, and do a proof to prove...
Block copy, and paste, the argument into the window below, and do a proof to prove that the argument is valid. This question is worth 25 points.    1. (p   ⊃   x) • (x ⊃ ~q) 2. p •   n 3.   t v q     : .     t
Block copy, and paste, the argument into the window below, and do a proof to prove...
Block copy, and paste, the argument into the window below, and do a proof to prove that the argument is valid. This question is worth 25 points. 1. (p   • q)   •   (q ⊃   x) 2. ~x v ~s 3. n   v   s     : .    t ⊃ n
a) Prove, using the joint density function, and the definition of expectation of a function of...
a) Prove, using the joint density function, and the definition of expectation of a function of two continuous random variables (i.e., integration) that E (5X + 7Y ) = 5E (X ) + 7E (Y ). b) (h) Prove, using the joint density function and the definition of expectation of a function of two continuous random variables (i.e., integration) that Var (5X + 7Y ) = 25Var (X ) + 49Var (Y ) + 70Cov (X; Y ).
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT