Cel mai bun răspuns
Cineva m-a întrebat odată „Care este opusul„ De ce? ””, Iar eu i-am răspuns: „Pentru că . ””
„Nu”, a spus el, „este„ De ce nu? ””
Am fost uimit de cât de corect era acest lucru – în tot acest timp, m-am gândit „pentru că” a fost opusul „de ce?”, dar, într-adevăr, este răspunsul la cuvânt.
Asta îmi place la această întrebare: m-a obligat să privesc conceptul de „atragere” într-un mod cu totul nou. Mai degrabă decât să enumăr antonimele – „respinge”, „dezgust”, „respinge” etc. – am luat în considerare relația dintre „distragere” și „atracție”:
- ambele sunt stări de minte unde atenția ta este ocupată într-un mod specific; de asemenea, fiind constrâns de ceva, indiferent dacă este atractiv sau revoltător, folosește aceeași energie și puteri de observare;
- lucrurile care te atrag și lucrurile care te dezgustă pot distrage amândoi, dar cu rezultate foarte diferite: primul te atrage mai aproape de ceva, în timp ce acesta din urmă te sperie să bată o retragere grăbită.
Mulțumim pentru această întrebare care ne provoacă gândirea!
Răspuns
Definiția dvs. de „ceva timp” apare egală cu operatorul eventual în logica temporală (lineair). Deci, având în vedere un eveniment \ phi, care sa întâmplat ceva timp, exprimat ca \ diamondsuit \ phi, atunci negația sa este \ lnot \ diamondsuit \ phi. Acesta din urmă este egal cu \ square \ lnot \ phi, care este interpretat ca niciodată.
Actualizare: antonimul întotdeauna, exprimat ca \ pătrat \ psi este \ lnot \ pătrat \ psi. Acesta din urmă este egal cu \ diamondsuit \ lnot \ psi. Exemplu concret: fie \ psi aruncarea unei monede care are ca rezultat capete. Apoi \ diamondsuit \ lnot \ psi înseamnă că aruncați capete chiar acum și, probabil, mai multe aruncări ulterioare, dar că există cel puțin o aruncare în viitor care nu are ca rezultat capete.
Actualizare 2: un exercițiu, dacă definiți că \ phi este o aruncare care duce la cozi, atunci \ phi = \ lnot \ psi. Care este antonimul \ diamondsuit \ phi exprimat în termeni de \ psi?
Consultați http://en.wikipedia.org/wiki/Linear\_temporal\_logic pentru mai multe despre acești operatori logici.