diff --git a/ej-csr/memoria.tex b/ej-csr/memoria.tex index 0c3e7a0..52bb895 100644 --- a/ej-csr/memoria.tex +++ b/ej-csr/memoria.tex @@ -122,6 +122,8 @@ Puesto que todos los pares $\mu$-críticos son $\mu$-convergentes, $\mathcal{R}_ ) \end{lstlisting} +Nota: en esta sección, se utilizará $\vee$ para representar la función ``or''. + \subsection{Función de reemplazamiento $\mu_{153}$} Del mismo modo que en $\mathcal{R}_{151}$, la función \texttt{or} presenta la propiedad conmutativa, por lo que $\mu_{153}(or)=\emptyset \vee \{1,2\}$. Para que la $\mu$-convergencia no sea idéntica a la convergencia de $\mathcal{R}_{153}$, vamos a escoger $\emptyset$.