∈,=,≤,<,≥,>,…) atomic formulas built from relation symbols applied to terms; prefix/infix logical symbols with lower precedence than relation symbols ( ...
確定! 回上一頁