Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Constructing Mathematical Statements

  1. Mar 4, 2008 #1


    User Avatar
    Gold Member

    Hi. Ive just started a new maths course and i have come to realise that i have never been taught how to use symbols to write mathematical statements. For example, up until a day ago, i didnt know what [tex]\exists[/tex] or [tex]\forall[/tex] meant.

    Is anybody able to share some links that will explain the use of such symbols to construct statements? I am able to construct really basic statements such as:

    "For all x>4 there exists x>5" [tex]\forall x>4 , \exists x>5[/tex]

    But i dont even know if what i have written above is correct, or how to write more complex statements.

    Thanks in advance,
  2. jcsd
  3. Mar 4, 2008 #2
    you could take a look at


    maybe it is a bit too general to really helpfull, look especialy at the sections: Provable identities and Provable inference rules, they are very important.

    Since you haven't seen these before i guess they are theaching them to you in the class, and the best way to learn it is really just to use them alot. Else try to find some basic analysis books they should teach it. I can't say a specific book because the book i learned it from was in danish so it will probaly don't help much.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook