クフでダローバルな日記

タフでもグローバルもない

2013-12-06から1日間の記事一覧

TeXで記号論理

昨日の は、TeXで打ってみました。こちらのページのproof.styを利用させてもらいました。 Proof Figure Macrosちなみにこんな感じ \documentclass[landscape]{article} \usepackage{proof} \begin{document} \begin{flushleft} $$ Q:(A\land R)\lor (\lnot A…