Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:graphs_as_interpretations [2008/03/23 13:50] maysam English Grammer |
sav08:graphs_as_interpretations [2008/03/25 16:07] vkuncak |
||
---|---|---|---|
Line 19: | Line 19: | ||
**Tournament:** | **Tournament:** | ||
\[ | \[ | ||
- | \forall x, y.\ (edge(x,y) \lor edge(y,x)) \land \lnot (edge(x,y) \land edge(y,x)) | + | (\forall x, y.\ x \neq y \rightarrow (edge(x,y) \lor edge(y,x)) \land \lnot (edge(x,y) \land edge(y,x))) \land (\forall x. \lnot edge(x,x)) |
\] | \] | ||