論理

（または）：

またはが成立つ

（かつ）：

もも成立つ

（ならば）：

が成立てばも成立つ

（同値）：

一方が真ならば他方も真、かつ、一方が偽ならば他方も偽

：任意のに対して

（全てのに対して）