1
$\begingroup$

First off, I wouldn't bring this to SO, but my teacher refuses to teach me notation.

Anyhow...



I'm doing a proof. The proof says:

"Show that $8^n - 3^n$ is a multiple of 5 for all non-negative integers $n$.

How do I say this in notation?

I've got: $\forall x \in \mathbb{N_0}$ ...and $(8^n - 3^n)\%5=0$...but I don't know the proper way to link this.

Would I say: Show $\forall n \in \mathbb{N_0}$, $(8^n - 3^n)\%5=0$? (where I join the clauses with a comma)...And is $\%$ even the correct symbol here for the modulo function?

Also, how would I say the set $X$ not including $x_i$? "$X$ \ $x_i$"?

$\endgroup$
4
  • $\begingroup$ @bordeo Join the two propositions by a conditional: $\forall n\in \mathbb{N}\rightarrow 8^n-5^n\pmod{5}\equiv 0$ $\endgroup$ Jan 31, 2016 at 21:00
  • $\begingroup$ Thanks man--that looks right! $\endgroup$
    – Chris
    Feb 1, 2016 at 0:19
  • $\begingroup$ @G.Sassatelli Yeah, that looks like a problem. But, literally, that is what my homework says. I am going to double check it... $\endgroup$
    – Chris
    Feb 1, 2016 at 0:21
  • $\begingroup$ @G.Sassatelli Yup, teacher made a typo. Probably should be $8^n - 3^n$, but that is just a guess. Anyhow, thanks for pointing it out. $\endgroup$
    – Chris
    Feb 1, 2016 at 0:23

1 Answer 1

1
$\begingroup$

First, let me say that your teacher might refuse teching you this notation because it is considered bad style in written mathematics. The symbols from formal logic (like $\forall$) should be used nearly exclusively when talking about formulas in formal logic and maybe (carefully!) as a shorthand on the blackboard. Full English sentences are just easier to read. In your personal notes, you can do whatever you want, of course.

If you insist on using symbols anyway, there are many different conventions. A comma is fine, as is a colon. You can also put parentheses around the quantifier or what follows it. For modulo, it is usually used as an equivalence relation and then written $8^n-5^n \equiv 0 \pmod 5$. This leaves us with the following (incomplete) list of possiblities: $$\forall n\in \mathbb N, 8^n-5^n \equiv 0 \pmod 5\\\forall n\in \mathbb N\colon 8^n-5^n \equiv 0 \pmod 5\\(\forall n\in \mathbb N)(8^n-5^n \equiv 0 \pmod 5)$$ which I would all consider correct (but other people might have more pronounced opinions).

For your second question: You should use $X \setminus \{x_i\}$.

$\endgroup$
3
  • $\begingroup$ I solemnly swear I will use my powers for good, not evil =) $\endgroup$
    – Chris
    Feb 1, 2016 at 0:08
  • $\begingroup$ Anyhow, i find it is useful to practice this stuff, because I read math all the time...and when you use symbols, it speeds up the fluency w.r.t. reading symbols (just like using acronyms is the best way to speed up reading acronyms). Also, when you get an Asian teacher that prefers symbols to English (naturally), it's nice to have the notation in your bag. Also, it's more compact, so once you understand the problem, it is easier than English. However, I did see the MIT opencourse where the professor jokes about a grad student who used only symbols: they called him the "encryptor..." $\endgroup$
    – Chris
    Feb 1, 2016 at 0:13
  • $\begingroup$ we have these guys in programming--they'll name every variable 'a', then 'b', 'c', and so on...and the program is unfathomable. But, when dealing with code you don't understand...or when writing a math function, it is useful to tighten up your syntax and implement a method like that...So everything has its place. Better to know more than less, better to speak the language...so, IMHO, just because a chainsaw is dangerous doesn't mean it shouldn't be in your tool shed when you are in the business of chopping trees... $\endgroup$
    – Chris
    Feb 1, 2016 at 0:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.