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