Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
sav07_homework_4_solution [2007/06/16 21:52] vkuncak |
sav07_homework_4_solution [2007/06/16 21:58] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
This is a sketch of the solution of [[SAV07 Homework 4]] | This is a sketch of the solution of [[SAV07 Homework 4]] | ||
+ | |||
Line 20: | Line 21: | ||
Note that we have $R(assume(false)) \circ R(assert(false)) = R(assume(false))$. | Note that we have $R(assume(false)) \circ R(assert(false)) = R(assume(false))$. | ||
+ | |||
+ | Basically, $R(assert(false))$ and $R(assume(false))$ both act as a left zeros of $\circ$ for the relations of the form $R(c)$. | ||
==== Part 2 ==== | ==== Part 2 ==== |