2015-12-13から1日間の記事一覧
スマリヤンがお気に入りの論理的推論としてよく取り上げるもの*1。 すべての人は私の赤ちゃんを愛する。∀xLxb 私の赤ちゃんは私だけを愛する。Lbm & ∀x(Lbx → x = m) よって、私は私の赤ちゃんである。m = b 一階言語への翻訳はスマリヤンのものではない。…
スマリヤンがお気に入りの論理的推論としてよく取り上げるもの*1。 すべての人は私の赤ちゃんを愛する。∀xLxb 私の赤ちゃんは私だけを愛する。Lbm & ∀x(Lbx → x = m) よって、私は私の赤ちゃんである。m = b 一階言語への翻訳はスマリヤンのものではない。…