Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:logic_and_automata_introduction [2008/05/14 11:06] vkuncak |
sav08:logic_and_automata_introduction [2015/04/21 17:30] (current) |
||
---|---|---|---|
Line 17: | Line 17: | ||
Compute the unary relation (set) corresponding to this formula $F(z)$: | Compute the unary relation (set) corresponding to this formula $F(z)$: | ||
- | \[ | + | \begin{equation*} |
\exists x. \exists y.\ z = 2 x + 1 \land z = 3 y + 2 | \exists x. \exists y.\ z = 2 x + 1 \land z = 3 y + 2 | ||
- | \] | + | \end{equation*} |
++++| | ++++| | ||
Add 6k to solution, we obtain a solution. \\ | Add 6k to solution, we obtain a solution. \\ |