Najlepsza odpowiedź
Ktoś zapytał mnie kiedyś: „Jakie jest przeciwieństwo„ Dlaczego? ””, A ja odpowiedziałem: „Ponieważ . ”
„ Nie ”- powiedział -„ to jest „Dlaczego nie?” ”
Byłem zdumiony, jak to było poprawne – przez cały ten czas myślałem„ ponieważ ” było przeciwieństwem „dlaczego?”, ale tak naprawdę jest to odpowiedź na słowo.
To mi się podoba w tym pytaniu: zmusiło mnie to do spojrzenia na pojęcie „przyciągania” w zupełnie nowy sposób. Zamiast wymieniać antonimy – „odpychać”, „wstręt”, „odpychać” itp. – zastanowiłem się nad związkiem między „rozproszeniem” a „przyciąganiem”:
- oba są stanami umysł, gdzie twoja uwaga jest zajęta w określony sposób; ponadto, będąc zmuszonym przez coś, niezależnie od tego, czy jest to atrakcyjne lub odrażające, wykorzystuje tę samą energię i moc obserwacji;
- rzeczy, które cię przyciągają i rzeczy, które cię obrzydzają, mogą być rozpraszające, ale z bardzo różnymi skutkami: to pierwsze zbliża cię do czegoś, podczas gdy to drugie zaskakuje cię przed pośpiesznym odwrotem.
Dzięki za to skłaniające do myślenia pytanie!
Odpowiedź
Twoja definicja „jakiegoś czasu” wydaje się równa operatorowi ostatecznemu w logice temporalnej (liniowej). Zatem biorąc pod uwagę zdarzenie \ phi, które miało miejsce przez pewien czas, wyrażone jako \ diamondsuit \ phi, jego negacją jest \ lnot \ diamondsuit \ phi. To drugie jest równe \ square \ lnot \ phi, co jest interpretowane jako nigdy.
Aktualizacja: antonimem always, wyrażonym jako \ square \ psi, jest \ lnot \ square \ psi. To ostatnie jest równe \ diamondsuit \ lnot \ psi. Konkretny przykład: niech \ psi będzie rzutem monetą, która daje orzeł. Wtedy \ diamondsuit \ lnot \ psi oznacza, że rzucasz teraz głowami i być może kilka kolejnych rzutów, ale w przyszłości jest przynajmniej rzut, który nie kończy się w orzeł.
Aktualizacja 2: ćwiczenie, jeśli zdefiniujesz \ phi jako rzut powodujący reszkę, to \ phi = \ lnot \ psi. Jaki jest antonim \ diamondsuit \ phi wyrażony jako \ psi?
Zobacz http://en.wikipedia.org/wiki/Linear\_temporal\_logic, aby uzyskać więcej informacji na temat tych operatorów logicznych.