Problem
Give an example of sets A and B for which .
Solution
A = { 1 }
B = { 2 }
= { , { 1 } }
= { , { 2 } }
= { , { 1 }, { 2 } }
= { 1, 2 }
= { , { 1 }, { 2 } { 1, 2 } }
Problem
Give an example of sets A and B for which .
Solution
A = { 1 }
B = { 2 }
= { , { 1 } }
= { , { 2 } }
= { , { 1 }, { 2 } }
= { 1, 2 }
= { , { 1 }, { 2 } { 1, 2 } }
Problem
Negate these statements and then reexpress the results as a equivalent positive statement. (See Example 2.2.1)
Solution
1.
Everyone who is majoring in math has a friend who needs help with his homework.
Let M(x) = x majors in math
Let F(x and y) = x and y are friends
Let H(x) = x needs help
Answer Key says . I don’t see why it should be an implication.
Negate
Quantifier Negate
Conditional
DeMorgan
Quantifier Negation
DeMorgan
There exists a math major and that math major has no friends at all or has friends that don’t need help.
2.
Everyone has a roommate who dislikes everyone.
Let R(x, y) = x has a roommate y
Let L(x, y) = x likes y
Negate
Quantifier Negate
Quantifier Negate
DeMorgan
Quantifier Negate
Someone does not have any roommates or has a roommate that likes at least one person.
3.
Negate
Conditional
Quantifier Negation
DeMorgan
DeMorgan
Associative
4.
Negate
Quantifier Negate
Quantifier Negate
Conditional
DeMorgan
Quantifier Negate
Problem
Analyze the logical forms of the following statements.
Solution
1.
Anyone who has forgiven at least one person is a saint.
Let S(x) = x is a saint.
Let F(x, y) = x forgives y.
2.
Nobody in the calculus class is smarter than everybody in the discrete math class.
Let C(x) = x is in calculus
Let D(x) = x is in discrete math
Let S(x,y) = x is smarter than y
Answer key is $latex $\neg \exists x [C(x) \land \forall y [D(y) \to S(x,y)]] $. Why implication instead of and?
3.
Everyone likes Mary, except Mary herself.
Let L(x,y) = x likes y
Let M(x) = x is Mary
Answer key is $latex $ \forall x [\neg (x = m) \to L(x , m)] $. Why implication instead of and? (I can see this more than the last question.)
4.
Jane saw a police officer, and Roger saw one too.
Let S(x, y) = x saw y
Let P(x) = x is a police officer
5.
Jane saw a police officer, and Roger saw him too.
Problem
Find all numbers for which
Solution
Collect the terms.
Move terms around and combine.
will always be positive so any will work.
Move terms around and combine.
If this were , we see that .
We looking for when is greater than 7, so the solution is or .
Our critical points are and .
If , then we would have .
If , then we would have .
If , then we would have .
So the inequality works when or .
If this were , the solution would be . The solution is imaginary, so the parabola is entirely above or below the x-axis.
Since the first term is positive, we know this is a parabola facing up, so it’s entirely above the x-axis.
Therefore any will work.
If this were an equality and we solve for x, we’d get . This is a real solution so the parabola does cross the x-axis and there are two solutions. The parabola faces up so we want the two extreme branches. Therefore or .
The critical points are and .
If , we would have .
If , we would have .
If , we would have .
Therefore, we want or .
If this were , the solution would be . The solution is imaginary, so the parabola is entirely above or below the x-axis.
Since the first term is positive, we know this is a parabola facing up, so it’s entirely above the x-axis.
Therefore any will work.
The critical points are , , and .
If , we would have .
If , we would have .
If , we would have .
If , we would have .
Therefore, the solution is or .
The critical points are and .
If , we would have .
If , we would have .
If , we would have .
The solution is or .
2 is positive. . Any exponent greater than 3 should be greater than 8. So .
By visual inspection, it’s clear that if , $1 + 3^1 = 4$.
So any x less than 1 should be less than 4.
The critical points are and .
If x is negative, then and , but the absolute value of will ways be bigger.
x | ||
---|---|---|
-1 | -1 | |
-2 | ||
-3 | ||
-4 |
Therefore, when , .
If , then and , but the absolute value of will ways be bigger.
x | ||
---|---|---|
2 | -1 | |
3 | ||
4 | ||
5 |
Therefore, when , .
So let’s consider . Consider .
Notice that for both terms must be positive. Therefore, the only solution is .
Here I have a disagreement which the answer key. It claims that the solution is or . However, I don’t see how could be a solution. Below is a plot of . It is clearly negative where .
The critical points here are and .
If , we would have .
If , we would have .
If , we would have .
So the solution is or .
Problem
Determine whether the equations on the right define implicit functions of x. For those which do, determine whether they are implicit solutions of the differential equations on the left.
Solution
We start with .
Solve for y and get .
So we know that this function is defined for all .
Let implicitly differentiate and get:
Simplfy:
The derivative is .
Let’s substitute into to see if we get identity.
Now let’s substitute with .
$latex (x+2)^2 – (x^2 + 4x + 4) = 0$
We have identity, so does implicitly solve .
Keep in mind that y has two solutions: . So you need to pick one to complete the answer.
We start with .
. In order for two positive real numbers to add up to 1, they both need to be less than 1.
Below is a plot:
Notice that the plot approaches both axes asymptotically.
The domain is . Here is where I disagree with the answer key, which assert .
Let’s implicitly differentiate and get:
Simplify:
Divide by .
Divide by .
This is exactly the differential equation we’re looking for, so is a solution for .
Let’s start with .
This is .
and both must be positive and cannot be -1.
Therefore, this implicit function is not defined in .
Problem
Prove that the function sin the right-hand column below are solutions of the differential equation sin the left-hand columns [sic]. (Be sure to state the common interval for which solution and differential equation make sense.)
Solution
.
The differential equation and solution are valid for .
The differential equation and solution are valid for .
The differential equation and solution are valid for .
The differential equation and solution are valid for .
The differential equation and solution are valid for .
The answer key says that the domain is . It is unclear why this is so.
The differential equation and solution are valid for .
The differential equation is valid for but the solution is valid for .
The differential equation and solution are valid for .
The differential equation and solution are valid for .
The differential equation is valid for but the solution is valid for .
The answer keys says that the domain is . It is unclear why 0 is a problem. The solution is defined for .
The differential equation is valid for but the solution is valid for .
Problem
Can you apply the method of implicit differentiation as taught in the calculus to the function of problem 14, of problem 15?
Solution
The answer key says no, but this is clearly possible.
Problem
Explain why the procedure followed in problem 12, applied to the relation and yielding the result
is meaningless.
Solution
The answer key simply says that “ does not define a function.” While this is true, I feel that their solution is incomplete. After all, we’ve seen in problem 12 that a non-function equation can be turn into a function simply by restricting the domain or sectioning off parts of the graph.
With however, we have something different. This particular equation’s domain has no elements in at all. There is no domain to restriction. There is no graph to section off. It is simply impossible in .
Problem
Which of the domains in problem 8 are regions.
Solution
The text defines a region is defined as follows:
The domain is and .
This is not a region, since it does not satisfy requirement 1.
The domain is for both x and y.
This is a region.
The domain is for both x and y.
This is a region.
The domain is . This is the area outside a circle of radius 3.
This is not a region, since it does not satisfy requirement 1.
The domain is . This is a line.
This is not a region, since it does not satisfy requirement 1 or 2.
There is no real domain for this equation. Any z would be imaginary.
This is not a region since there isn’t even a domain.
The domain is and .
This is not a region since it does not satisfy requirement 1 or 2. However, the answer key says it is.
On this particular one, I disagree with the answer key. The set of and is the xy plane minus the line .
How is it possible that this formula satisfies condition 2? The points {2, 0} and {0, 0} are both in the domain but they cannot be joined.
How is it possible that this formula satisfies condition 1? If the center of the circle were {0, 0} any radius > 1 wouldn’t work.
Problem
The proof of Theorem 3 gives a method for finding a prime number different from any in a given list of prime numbers.
Problem a
Use this method to find a prime different from 2, 3, 5, 7.
Solution
The method in Theorem 3 is as follows: Let , , , … , be a list of all prime numbers. Let . m will be a prime or a product of primes.
211 is prime.
Problem b
Use this method to find a prime different from 2, 5, 11.
Solution
The section on Theorem 3 also discusses Marsenne Primes – if n is prime, then might be prime.
That is one possible solution.
The answer key lists 3 and 37 and solutions, but it’s unclear how to calculate the 37.