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