クフでダローバルな日記

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

2013-12-01から1ヶ月間の記事一覧

TeXで記号論理

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

天国への道の記号論理学的解法

突然ですがクイズです 左右に分かれ道があります。どちらかが天国行きでどちらかが地獄行きです。 それぞれの分かれ道にいる門番に、YES(はい)/NO(いいえ)で答えられる質問を一度だけすることができます。 門番はいつも本当のことを言う天使か、いつもウ…