En lógica, se aplica a los

términos sinónimos.