記述する記号を数学記号という。数学記号は、数学上に抽象された概念を簡潔に表すためにしばしば用いられる。従って本項に示す数学記号とそれに対応する数学的対象は、数多くある記号や概念のうち、特に慣用されうるものに限られる。それぞれ何らかの命題を表すものとする。ともに真」という命題を表す。少なくとも一方は真」という命題を表す。偽」という命題を表す。も真」という命題を表す。真であることに注意が必要。真偽が必ず一致することを意味する。ともに真で一方から他方が導かれるときにこの記号を使う。少なくとも1つ存在することを表す。一つ存在することを表す。他の記法も同様である。文頭に記され、その文の主張が前述の内容を受けて述べられていることを示す。文頭に記され、その文の内容が前述の内容の理由説明であることを示す。