Para indicar que dos proposiciones están conectadas con la letra "o" se utiliza el símbolo formula_7 , llamado conectivo disyuntivo.