Словарь по логике

Синоним: Относительный термин, обозначающий знак, находящийся в отношении синонимии с некоторым другим, подразумеваемым знаком.
Виды синонимов выделяются по соответствующим им видам синонимии.