Differences
This shows you the differences between two versions of the page.
|
hilbert_algebras [2012/07/17 10:09] jipsen |
hilbert_algebras [2016/09/02 09:28] (current) jipsen |
||
|---|---|---|---|
| Line 8: | Line 8: | ||
| $x\to(y\to x)=1$ | $x\to(y\to x)=1$ | ||
| - | $(x\to(y\to z))\to((x\to y)\to(x\to y))=1$ | + | $(x\to(y\to z))\to((x\to y)\to(x\to z))=1$ |
| $x\to y=1\mbox{ and }y\to x=1 \Longrightarrow x=y$ | $x\to y=1\mbox{ and }y\to x=1 \Longrightarrow x=y$ | ||
Trace:
