Skinerrian's blog

論理学・哲学・科学史・社会学などに興味があるので、その方面のことを書きます。更新は不定期。

2014-10-03から1日間の記事一覧

S5

様相論理のメモ。S5フレームは、KTB4ともKT5とも特徴づけられるが、KDB4とかKDB5とも特徴づけられる。とりあえず、ここでは T:□φ→φ をKDB4から導出してみる。 □φと¬φを仮定する。Bにより¬φ→□◇¬φ。Dにより□◇¬φ→◇◇¬φ。4により◇◇¬φ→◇¬φ。定義により◇¬φ…