目的 前提A1…Anから結論Bを導くこと。 A,Bの意味を問わずルールで形式的に導く。 論理演算子 ¬（否定）、∨（選言）、∧（連言）、⇒（含意） これらには優先度がある。 否定＞連言＞（＝？）選言＞含意 シーケント φ,…,φ├ψ のようなもののこと。 ルール The ru…

自鯖もってるんだから、日記くらいは自分で設置するだろうと思ったのだけれども、鯖が死んだおかげでレンタルすることに。 むー。