Lab for Automated Reasoning and Analysis LARA

This is an old revision of the document!


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.1203630010.txt.gz · Last modified: 2008/02/21 22:40 by piskac
 
© EPFL 2018 - Legal notice