Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
sav08:homework02 [2008/03/04 15:52] vkuncak |
sav08:homework02 [2008/03/04 16:52] vkuncak |
||
|---|---|---|---|
| Line 88: | Line 88: | ||
| \{("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 \} | ||
| \] | \] | ||
| + | The final formula $F$ may or may not use additional existentially quantified variables. | ||
| + | |||
| + | ====== Problem 6 (optional alternative to Problem 5) ====== | ||
| + | |||