최상의 답변
누군가가 ” 왜?의 반대가 뭐야?”라고 물었더니 나는 ” 왜냐하면 . ”
“아니요.”그가 말했습니다.“왜 안 되죠? 입니다.”
저는 그것이 얼마나 정확한지 멍청했습니다. 이번에는“왜냐하면”라고 생각했습니다. “왜?”의 반대 였지만 실제로는 단어에 대한 답변 입니다.
이 질문에 대해 제가 좋아하는 점입니다. 그것은 내가 완전히 새로운 방식으로“유인”의 개념을 보도록 강요했다. 반의어를 나열하기보다는 “반발”, “혐오”, “반발”등- “산만”과 “매력”사이의 관계를 숙고해야했습니다.
- 둘 다 당신의 관심이 특정한 방식으로 점유되는 곳을 생각하십시오. 또한 매력적이든 반항적이든간에 강요당하는 것은 동일한 에너지와 관찰력을 사용합니다.
- 당신을 끌어들이는 것과 혐오스러운 것 모두주의를 산만하게 할 수 있지만 결과는 매우 다릅니다. 후자는 성급한 퇴각으로 당신을 깜짝 놀라게합니다.
생각을 불러 일으키는 질문에 감사드립니다!
답변
“언젠가”에 대한 정의는 (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를 참조하세요.