From 8da6a97d336081e2a6df03a65f5ff94831deba73 Mon Sep 17 00:00:00 2001 From: Carlos Galindo Date: Thu, 25 Oct 2018 11:23:44 +0200 Subject: [PATCH] Ejecicio reemplazamiento anotaciones --- ej-csr/memoria.tex | 2 ++ 1 file changed, 2 insertions(+) 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$.