Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:homework02 [2008/03/05 16:05] vkuncak |
sav08:homework02 [2015/04/21 17:30] (current) |
||
---|---|---|---|
Line 86: | Line 86: | ||
constraint: F | constraint: F | ||
then the relation representing the meaning of $c$ should be given by the relation | then the relation representing the meaning of $c$ should be given by the relation | ||
- | \[ | + | \begin{equation*} |
\{("x" \rightarrow x0,"y" \rightarrow y0),("x" \rightarrow x,"y" \rightarrow y)) | x = e1 \land y = e2 \land F \} | \{("x" \rightarrow x0,"y" \rightarrow y0),("x" \rightarrow x,"y" \rightarrow y)) | x = e1 \land y = e2 \land F \} | ||
- | \] | + | \end{equation*} |
The final formula $F$ may or may not use additional existentially quantified variables. | The final formula $F$ may or may not use additional existentially quantified variables. | ||