diff options
author | Gregor Kleen <gkleen@yggdrasil.li> | 2016-04-22 23:19:04 +0200 |
---|---|---|
committer | Gregor Kleen <gkleen@yggdrasil.li> | 2016-04-22 23:19:04 +0200 |
commit | c188e082751a279577ce84702744618387721225 (patch) | |
tree | 791d31420e2bf5403a62647adee816c60d03aadc /ss2016/lds/01/H1-1.md | |
parent | d24417817245024ed1a856ebc6f2aae11ba47ee9 (diff) | |
download | uni-c188e082751a279577ce84702744618387721225.tar uni-c188e082751a279577ce84702744618387721225.tar.gz uni-c188e082751a279577ce84702744618387721225.tar.bz2 uni-c188e082751a279577ce84702744618387721225.tar.xz uni-c188e082751a279577ce84702744618387721225.zip |
lds 01
Diffstat (limited to 'ss2016/lds/01/H1-1.md')
-rw-r--r-- | ss2016/lds/01/H1-1.md | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/ss2016/lds/01/H1-1.md b/ss2016/lds/01/H1-1.md new file mode 100644 index 0000000..e84b407 --- /dev/null +++ b/ss2016/lds/01/H1-1.md | |||
@@ -0,0 +1,24 @@ | |||
1 | \begin{center} | ||
2 | \begin{tikzpicture}[level 1/.style={level distance=1.5cm}] | ||
3 | \Tree | ||
4 | [.$\lequiv$ | ||
5 | [.$\limplies$ | ||
6 | [.$A$ ] | ||
7 | [.$B$ ] | ||
8 | ] | ||
9 | [.$\limplies$ | ||
10 | [.$C$ ] | ||
11 | [.$\limplies$ | ||
12 | [.$\lnot$ $D$ ] | ||
13 | [.$\lor$ | ||
14 | [.$E$ ] | ||
15 | [.$\land$ | ||
16 | [.$F$ ] | ||
17 | [.$G$ ] | ||
18 | ] | ||
19 | ] | ||
20 | ] | ||
21 | ] | ||
22 | ] | ||
23 | \end{tikzpicture} | ||
24 | \end{center} | ||