2013-09-18から1日間の記事一覧

今日のお食事 ラーメン

西立川の太陽堂で醤油ラーメン(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→…