ベン図を使って様相論理の意味論を考える話 その1

ベン図を使って意味論を考えます。 この記事では、最も卑近な例として、命題論理の場合を取り上げます。 後の記事では、様相論理(Dなど)の意味論が、同じくベン図を使って解釈できることを示す予定です。 正確に言えば、ベン図を考えることは本質的ではなく、結合子∧、∨、¬に対して満たす性質をいじって、真偽値と異なる…