Lab for Automated Reasoning and Analysis LARA



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}


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