\[(\forall n\in \mathbb Z)[n|n^2]\]
t/f
What does "|" mean in logic?
divides
The division thing? Yes.
Except for 0.
True
What if \(\rm n = 0\)?
n^2=n*n so (n*n)/n=n
False.
Truesomeness
Though the statement is true for \(\mathbb{Z}^+\)
Dont read :\[n\mid n^2\]as division. By definition, \[a\mid b \iff b=ak ,k\in \mathbb{Z}\]there is no division taking place. By this definition, 0 does divide 0^2 since 0^2=0*0
I've always heard, zero cannot divide anything.
You are thinking of fractions. Notice the definition doesnt contain anything about fractions.
its a statement only about multiplication.
Oh.
\[a|b \iff \exists q[b=aq],a\neq 0\]
ah, then i am mistaken. if a cant be zero then what i posted is wrong.
So, in fact, we do have fractions in the definition.
hmmm, i still wouldnt say there are fractions. This is generally the way they talk about division in Rings, where only multiplication and addition are defined. But yes, a cannot be zero. http://primes.utm.edu/glossary/xpage/divides.html
\(a|b\) denotes \(b\) is divisible by \( a \)
Join our real-time social learning platform and learn together with your friends!