Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav08:homework02 [2008/03/04 15:59] vkuncak |
sav08:homework02 [2008/03/04 16:52] vkuncak |
||
|---|---|---|---|
| Line 89: | Line 89: | ||
| \] | \] | ||
| 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. | ||
| + | |||
| + | ====== Problem 6 (optional alternative to Problem 5) ====== | ||
| + | |||