lds 01

1 files changed, 10 insertions, 0 deletions

diff --git a/ss2016/lds/01/H1-2.md b/ss2016/lds/01/H1-2.md
new file mode 100644
index 0000000..43a35d1
--- /dev/null
+++ b/ss2016/lds/01/H1-2.md
@@ -0,0 +1,10 @@
+\begin{prooftree}
+\AxiomC{$A \seq A$}
+\RightLabel{\scriptsize $\lnot\ \text{R}$}
+\UnaryInfC{$\seq A, \lnot A$}
+\AxiomC{$A \seq A$}
+\RightLabel{\scriptsize $\limplies\ \text{L}$}
+\BinaryInfC{\lnot A \limplies A \seq A}
+\RightLabel{\scriptsize $\limplies\ \text{R}$}
+\UnaryInfC{$(\lnot A \limplies A) \seq A$}
+\end{prooftree}