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:homework10 [2008/04/30 16:02] vkuncak |
sav08:homework10 [2008/04/30 16:10] piskac |
||
---|---|---|---|
Line 7: | Line 7: | ||
r = \{ (F_1,F_2) \mid \models F_1 \rightarrow F_2 \} | r = \{ (F_1,F_2) \mid \models F_1 \rightarrow F_2 \} | ||
\] | \] | ||
- | Check whether $r$ is reflexive, symmetric, and transitive relation. | + | Check whether $r$ is reflexive, antisymmetric, and transitive relation. |
===== Problem 2 ===== | ===== Problem 2 ===== |