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