semantica_condicional

No Title

Dadas las sentencias


\begin{eqnarray*}\linebreak\{Q_1\}\linebreak S_1\linebreak\{R\}\linebreak\end{eqnarray*}



y


\begin{eqnarray*}\linebreak\{Q_2\}\linebreak S_2\linebreak\{R\}\linebreak\end{eqnarray*}




y el condicional:


\begin{algorithmbox}\linebreak$\{Q\}$\\ \linebreak\linebreak\linebreak\abrir\IF{...
...cerrar\FI\\ \linebreak\linebreak\linebreak$\{R\}$\\ \linebreak\end{algorithmbox}


La precondición necesaria para satisfacer la postcondición R es tal que $Q \Rightarrow ((Q_1 \land B)\lor (Q_2 \land \neg B))$


Preguntas más Frecuentes acerca de "semantica_condicional"

Puedes hacer este ejercicio