¿alguien sabe que es la locución en lógica?

Unalocuciónes, engramática, el grupo estable de dos o máspalabrasque funciona como una unidad léxica con significado propio, no derivado del literal de las palabras que lo forman.

Según Casares, es una «combinación estable de dos o más términos, que funciona como elemento oracional y cuyo sentido unitario, familiar a lacomunidad lingüística, no se justifica, sin más, como una suma del significado normal de los componente.