形式逻辑的近义词