The words and, or, if ... then, not, for some, for every are treated as in ordinary mathematics.
語言中用到的and、or、if ... then、not、for some、for every都和一般數學中使用的相同。