池田はるよしのメモ

論理学を中心に語ります。

システム的なもの

できなくもない

「できなくもない」って表現は「できる」もしくは「できない可能性もある」 と等しく 「できるかもしれない」って表現は「できない」もしくは「できる可能性もある」 と等しいのかなと。 どちらも排中律(「できる」または「できない」)をみたさない。 シス…

不具合を考える

【すべての事象を対象にすると・・・】不具合のないシステムは ¬∃x(Bx)※B : 不具合である どんな操作や環境下であっても、一切の不具合が存在しない。 で、ひとたび不具合が発覚すると、¬∃x(Bx) ∧ ∃x(Bx) ≡ ∀x (¬Bx) ∧∃x(Bx)⇒ ¬Ba ∧ Ba で矛盾したことに…