Lab for Automated Reasoning and Analysis LARA

Recall the definitions of Partial Order and Lattices.

  • Prove the following:

$(x \sqcup y) \sqcup z = x \sqcup (y \sqcup z)$

$\sqcup A \sqsubseteq \sqcap B \ \Leftrightarrow \ \forall x \in A. \forall y \in B. x  \sqsubseteq y$

  • Examples of Lattices
 
sav10/exercises_06.txt · Last modified: 2010/03/30 16:05 by piskac
 
© EPFL 2018 - Legal notice