ド・モルガンの法則を TypeScript で証明してみた

はじめに 本記事では、命題論理の定理であるド・モルガンの法則を、TypeScript を用いて証明することを目指します。 ド・モルガンの法則とは、任意の命題 P, Q について、 \neg (P \lor Q) \leftrightarrow \neg P \land \neg Q \\ \neg (P \land Q) \leftrightarrow \neg P \lor \neg Q が成り立つことを言います。 さて証明です。命題の真偽のみに興味があるので、P, Q を p: boolean, q: boolean で表現し、全パターン試してみればいいわけです。\neg は !、\land は &&、\lor は ||、 \leftrightarrow は === と対応づけることができます。 const booleans = [true, false] booleans.forEa

[fuji_haruka]

お、Leanだ。いいね