西立川の太陽堂で醤油ラーメン（690円）を食べました。 動物系も加えた魚介味のラーメンです。なかなか美味しいと思いました。画像ではちょっと見えづらいですがかわいらしいナルトが入っていました。

(1) ¬(p∧¬q)├ p→q1 2 p ¬q ──── p∧¬q ¬(p∧¬q) ──────── ⊥ ─── 2 q ───── 1 p→q (2) p→q├ ¬(p∧¬q) 1 p∧¬q ─── 1 p p→q p∧¬q ────── ───── q ¬q ──────────── ⊥ ─────── 1 ¬(p∧¬q) (3) ¬p∨q├ p→q 1 2 p ¬p ───── ⊥ ─── 2 ¬p∨q q q ──────────── 2 q ───── 1 p→…