2012-12-02から1日間の記事一覧

様相論理

論理学において、必然や可能といった認識による推論判断にまで論理を拡張したのが様相論理である。 可能世界論によると必然(□)と可能(◇)は次のように定義される。 世界wから世界vに到達関係があることをwRv表すこととし、 □PとはwRvであるような全てのvにお…