逻辑常项

_

理则学上指在固定形式结构上有意义的特定符号。 如以“→”表示如……则……， 以“┌表示抑或等等。