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:56] vkuncak old revision restored |
sav08:homework10 [2008/04/30 16:56] vkuncak |
||
|---|---|---|---|
| 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 ===== | ||