Takumi TAGAWA @dlit 「~氏の主張を信用しない方が良い」を即「~氏の主張が偽であるという信念を持つべきである」と同じように解釈してしまわないように助けてくれるのは論理か慎重さか…両方かな。 2011-03-26 04:57:32 @satounaoto しない方がいい、には存在量化のバリアントを利用する様相性を持つからかな? RT @dlit: 「~氏の主張を信用しない方が良い」を即「~氏の主張が偽であるという信念を持つべきである」と同じように解釈してしまわないように助けてくれるのは論理か慎重さか…両方かな。 2011-03-26 05:02:16 Takumi TAGAWA @dlit 「信用しない方が良い」:◇(¬B(P))、「偽と信じるべき」:□(B(¬P))って感じで考えてたのですがいかがでしょうか。同値ではない、ような… QT @satounaoto: 信じる、
![義務モダリティと否定辞繰り上げ #gengo](https://cdn-ak-scissors.b.st-hatena.com/image/square/abb0c2efe7db7a4f84b1c53ce7d76841501f0f18/height=288;version=1;width=512/https%3A%2F%2Fs.togetter.com%2Fogp2%2F73c0c329d9255f5556d4162ef9dfeca3-1200x630.png)