Nejlepší odpověď
Někdo se mě jednou zeptal: „Jaký je opak„ Proč? ““ A já jsem odpověděl: „Protože . “”
„Ne,“ řekl, „je to‚ proč ne? “
Byl jsem ohromen tím, jak správné to bylo – po celou dobu jsem si myslel,„ protože “ byl opakem „proč?“, ale ve skutečnosti je to odpověď na slovo.
To se mi na této otázce líbí: přinutilo mě to dívat se na koncept „přilákat“ zcela novým způsobem. Spíše než vypsat antonyma – „odpudit“, „znechutit“, „odpudit“ atd. – musím uvažovat o vztahu mezi „rozptýlením“ a „přitažlivostí“:
- oba jsou stavy mysli, kde je vaše pozornost obsazena konkrétním způsobem; také to, že vás něco přitahuje, ať už přitažlivé nebo odporné, využívá stejnou energii a sílu pozorování;
- věci, které vás přitahují, a věci, které vás znechucují, vás mohou rozptylovat, ale s velmi odlišnými výsledky: první vás k něčemu přiblíží, zatímco to druhé vás zaskočí, abyste porazili ukvapené útočiště.
Díky za tuto otázku, která vás provokuje k zamyšlení!
Odpověď
Vaše definice „nějakého času“ se v časové linii (lineair) jeví jako shodná s eventuálním operátorem. Takže vzhledem k události \ phi, která se někdy stala, vyjádřenou jako \ diamondsuit \ phi, je její negace \ lnot \ diamondsuit \ phi. Ta se rovná \ square \ lnot \ phi, což je interpretováno jako nikdy.
Aktualizace: antonymum always, vyjádřeno jako \ square \ psi je \ lnot \ square \ psi. Ta se rovná \ diamondsuit \ lnot \ psi. Konkrétní příklad: nechť \ psi je hod mincí, jehož výsledkem jsou hlavy. Pak \ diamondsuit \ lnot \ psi znamená, že vrháte hlavy právě teď a možná i několik následných vrhů, ale že v budoucnu dojde alespoň k vhazování, které do hlav nebude.
Aktualizace 2: cvičení, pokud definujete \ phi jako hod, jehož výsledkem jsou ocasy, pak \ phi = \ lnot \ psi. Jaký je antonymum \ diamondsuit \ phi vyjádřený jako \ psi?
Další informace o těchto logických operátorech najdete v http://en.wikipedia.org/wiki/Linear\_temporal\_logic.