LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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))
 \] \]