kauron-MITSS/FLA
kauron-MITSS/FLA
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Ejecicio reemplazamiento anotaciones

Browse source
This commit is contained in:
Carlos Galindo 2018-10-25 11:23:44 +02:00
parent 91c18675b5
commit 8da6a97d33
Signed by untrusted user who does not match committer: kauron
GPG key ID: 83E68706DEE119A3
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
ej-csr/memoria.tex
View file

@ -122,6 +122,8 @@ Puesto que todos los pares $\mu$-críticos son $\mu$-convergentes, $\mathcal{R}_
) )
\end{lstlisting} \end{lstlisting}
Nota: en esta sección, se utilizará $\vee$ para representar la función ``or''.
\subsection{Función de reemplazamiento $\mu_{153}$} \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$. 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$.