Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav07_homework_1_solution [2007/03/17 19:00] vkuncak |
sav07_homework_1_solution [2007/03/19 12:00] wikiadmin |
||
---|---|---|---|
Line 4: | Line 4: | ||
<latex> | <latex> | ||
- | r \circ (s \cap t) \subseteq (r \circ s) \cap (r \circ t) | + | r \circ (s \cap t) \subseteq (r \circ s) \cap (r \circ t) |
</latex> | </latex> | ||
Line 103: | Line 103: | ||
is true and follows from the characterization of wp in Task 4 and the distribution of the right-hand side of implication and universal quantification | is true and follows from the characterization of wp in Task 4 and the distribution of the right-hand side of implication and universal quantification | ||
with respect to conjunction. | with respect to conjunction. | ||
- |