Lab for Automated Reasoning and Analysis LARA

Relations

Exercise:

Prove that it holds or construct a counterexample which shows that it does not hold:

  • r \circ (s \cap t) \subseteq (r \circ s) \cap (r \circ t)
  • (r \circ s) \cap (r \circ t) \subseteq r \circ (s \cap t)
  • (r \circ s)^{-1} = s^{-1} \circ r^{-1}

Solution:

Solutions can be found in the material from the last year (Task 1, 2 and 3)

 
sav08/relations.txt · Last modified: 2008/02/21 22:42 by piskac
 
© EPFL 2018 - Legal notice