2
$\begingroup$

LaTeX markup suggested format: $\{y\in N_1 | y\le 4 \land (\exists x\in Z| x< 4 \land 6=yx\}$

Author's original post: {y:∈ N1 | y ≤ 4 Ʌ (∃x:∈Z | x < 4 . 6=y*x)}

The first part of the equation states that y is a natural number except zero and it is less than or equal to 4. $N_1$ is all natural numbers except zero. $y \le 4$ means that $y = 1, 2, 3, 4$

The second part of the equation after the AND ($\land$) states: there exists ($\exists$) a variable $x$ that is an integer (Z) such that $x$ is less than 4, which include: (...-2, -1, 0, 1, 2, 3)

The final calculation 6 = y * x yields the following combinations:

 y    x    Truth Value 1    6     F (since x must be less than 4) 2    3     T 3    2     T  4    1.5   F (since x is not an integer) 

No negative numbers in the set of $x$ need to be evaluated since the value must be 6 and $y$ cannot be negative. Therefore, I believe the set enumeration is: $\{2, 3\}$ However, the book says that the answer is $\{1, 2, 3\}$.

Please tell me if I'm right or the book is right.

  • 0
    I'm a beginner at this and, being a novice, I sure wish there were standards around notation in Discrete Mathematics. The author of the book I'm reading says that an extension of set comprehension is to follow the declaration and predicate by a formula. That's what appears after the dot. Thanks again for your comments.2012-01-12

1 Answers 1

1

You're right and the book is wrong (if you've quoted it correctly).

The way you've written down your analysis is slightly confusing because what you list under "Truth Value" is the truth value of the entire parenthesized expression after the "and", which quantifies over $x$, yet each row contains a value of $x$, which looks as if you're substituting that value of $x$ into some expression containing $x$ as a free variable to get that truth value. A somewhat clearer way to express this would be: In each row, for the given value of $y$, there is only one rational number $x$ for which $6=y\cdot x$. For the parenthesized expression to be true, this rational number would have to be an integer less than $4$. Thus we can calculate this $x$ and then deduce the truth value of the parenthesized expression from whether this $x$ is an integer less than $4$. I know this is roughly what you meant; I'm just trying to help you present your thoughts more precisely.

  • 0
    You could start out with "In each row, for the given value of $y$, there is *at most* one integer $x$...", but when you get to "we can calculate this $x$", you'd have to rewrite it more substantially, since you can't calculate such an $x$ without the rational numbers. You might say something like "we can find this $x$ if there is one and then deduce the truth value of the parenthesized expression from whether such an $x$ exists and is less than $4$". No need to repeat "integer" in the end if you've introduced $x$ as an integer.2012-01-12