ベストアンサー
誰かが「「なぜ」の反対は何ですか？」と尋ねると、私は「 。 ”
「いいえ」と彼は言った、「それは 『なぜだめ？』だ」
それがどれほど正しいか、私は呆然としました。 「なぜ？」の反対でしたが、実際には、その言葉に対する応答です。
それが、この質問について私が気に入っていることです。それは私に全く新しい方法で「引き付ける」という概念を見ることを余儀なくさせました。 「反発」、「嫌悪」、「反発」などの反意語をリストするのではなく、「気晴らし」と「魅力」の関係を考えなければなりませんでした。
- どちらも次の状態です。あなたの注意が特定の方法で占められている場所に注意してください。また、魅力的であろうと反抗的であろうと、何かに強いられても、同じエネルギーと観察力を利用します。
- あなたを引き付けるものと嫌悪感を与えるものはどちらも気を散らす可能性がありますが、結果は大きく異なります。前者何かに近づくと、後者は急いで後退することに驚かされます。
この示唆に富む質問に感謝します！
回答
「ある時間」の定義は、（lineair）時相論理の最終的な演算子と同じように見えます。したがって、ある時点で発生したイベント\ phiが与えられ、\ diamondsuit \ phiとして表される場合、その否定は\ lnot \ diamondsuit \ phiです。後者は\ square \ lnot \ phiに等しく、これは決して解釈されません。
更新：\ square \ psiとして表されるalwaysの反意語は\ lnot \ square \ psiです。後者は\ diamondsuit \ lnot \ psiと同じです。具体的な例：\ psiをコインを投げて頭を出すとします。次に、\ diamondsuit \ lnot \ psiは、現在ヘッドを投げていることを意味し、場合によっては後続のスローもいくつかありますが、少なくとも将来、ヘッドにならないスローがあることを意味します。
更新2：演習。\ phiをスローとして定義し、テールが発生する場合、\ phi = \ lnot \ psi。 \ psiで表される\ diamondsuit \ phiの反意語は何ですか？
これらの論理演算子の詳細については、http://en.wikipedia.org/wiki/Linear\_temporal\_logicを参照してください。