Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:first-order_logic_syntax_revision [2008/02/21 23:09] piskac |
sav08:first-order_logic_syntax_revision [2008/02/21 23:10] piskac |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== First-Order Logic Syntax ===== | ===== First-Order Logic Syntax ===== | ||
- | Solve Exercise 1 given in [[http://swt.informatik.uni-freiburg.de/files/ex02.pdf|a]]. | + | Solve Exercise 1 given in [[http://swt.informatik.uni-freiburg.de/files/ex02.pdf|home assignment set]]. |