2013-02-26から1日間の記事一覧
義務と許可の様相論理は、必然を「義務である」、可能を「許可されている」と置き換えると、 「〜することが義務である」とは「〜しないことが許可されていない」 「〜することが許可されている」とは「〜しないことが義務でない」 とすることができる。 信…
義務と許可の様相論理は、必然を「義務である」、可能を「許可されている」と置き換えると、 「〜することが義務である」とは「〜しないことが許可されていない」 「〜することが許可されている」とは「〜しないことが義務でない」 とすることができる。 信…
