TeXで記号論理
昨日の
は、TeXで打ってみました。
こちらのページのproof.styを利用させてもらいました。
Proof Figure Macros
ちなみにこんな感じ
\documentclass[landscape]{article} \usepackage{proof} \begin{document} \begin{flushleft} $$ Q:(A\land R)\lor (\lnot A\land \lnot R) $$ \end{flushleft} \begin{flushleft} $$ (A\land R)\lor (\lnot A\land \lnot R) \vdash \lnot Q $$ \end{flushleft} $$ \infer[(4)]{\lnot Q}{ \infer[(3)]{\bot}{ [(A\land \lnot R)\lor (\lnot \land R)]_4 & \infer[(1)]{\bot}{ (A\land R)\lor (\lnot A\land \lnot R) & \infer{\bot}{ \infer{R}{ [A\land R]_1 } & \infer{\lnot R}{ [A \land \lnot R]_3 } } & \infer{\bot}{ \infer{\lnot A}{ [\lnot A \land \lnot R]_1 } & \infer{A}{ [A\land R]_3 } } } & \infer[(2)]{\bot}{ (A\land R)\lor (\lnot A\land \lnot R) & \infer{\bot}{ \infer{A}{ [A\land R]_2 } & \infer{\lnot A}{ [\lnot A \land R]_3 } } & \infer{\bot}{ \infer{\lnot R}{ [\lnot A \land \lnot R]_2 } & \infer{R}{ [\lnot A\land R]_3 } } } } } $$ \end{document}
証明図書くときは上からなのに、これだと下からなのでだいぶ戸惑ったけど、どうにかできた…
TeXむずいなぁ。出来るようになりたい。
美文書入門ほしいなぁ。生協にあったら買おっと
- 作者: 奥村晴彦,黒木裕介
- 出版社/メーカー: 技術評論社
- 発売日: 2013/10/23
- メディア: 大型本
- この商品を含むブログ (7件) を見る