Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav07_lecture_2 [2007/04/01 17:25] ghid.maatouk |
sav07_lecture_2 [2007/04/03 20:31] (current) kremena.diatchka |
||
---|---|---|---|
Line 248: | Line 248: | ||
What is a formal proof? | What is a formal proof? | ||
+ | |||
Line 308: | Line 309: | ||
\end{equation*} | \end{equation*} | ||
- | Sets and properties are interchangable. | + | Sets and predicates are interchangable. |
$x \in P$ turns set into predicate. | $x \in P$ turns set into predicate. |