传统逻辑的近义词