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

今日の食べ物 麻婆丼

朝食に麻婆丼。 麻婆豆腐はコンビニに売っていたものです。

言語学の練習問題 自然演繹 述語論理

(1) ∃xFx├ ¬∀x¬Fx 1 ∀x¬Fx 2 ──── Fa ¬Fa ───────── ⊥ ───── 1 ∃xFx ¬∀x¬Fx ──────────── 2 ¬∀x¬Fx (2) ¬∀x¬Fx├ ∃xFx 1 Fa 2 ─── ¬∃xFx ∃xFx ─────── ⊥ ──── 1 ¬Fa ───── ∀x¬Fx ¬∀x¬Fx ──────────── ⊥ ────── 2 ∃xFx (3) ∀xFx├ ¬∃x¬Fx ∀xFx ─── 1 Fa ¬Fa ───…