En lenguajes formales, la palabra "y" se utiliza en español para simbolizar una conjunción lógica.