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$