Risposta migliore
Qualcuno una volta mi ha chiesto: “Qual è il contrario di Perché?” E io ho risposto: “Perché . “”
“No”, ha detto, “è Perché no?”
Sono rimasto sbalordito da quanto fosse corretto – per tutto questo tempo, ho pensato “perché” era lopposto di “why?”, ma in realtà è la risposta alla parola.
Questo è ciò che mi piace di questa domanda: mi ha costretto a guardare al concetto di “attrarre” in un modo completamente nuovo. Piuttosto che elencare i contrari – “respingere”, “disgusto”, “respingere”, ecc. – ho avuto modo di contemplare la relazione tra “distrazione” e “attrazione”:
- entrambi sono stati di mente dove la tua attenzione è occupata in un modo specifico; inoltre, essere spinto da qualcosa, attraente o rivoltante, utilizza la stessa energia e capacità di osservazione;
- le cose che ti attraggono e le cose che ti disgustano possono entrambe essere fonte di distrazione, ma con risultati molto diversi: la prima ti avvicina a qualcosa, mentre questultimo ti spinge a battere in ritirata frettolosa.
Grazie per questa domanda stimolante!
Risposta
La tua definizione di “un po di tempo” sembra uguale alloperatore alla fine nella logica temporale (lineare). Quindi, dato un evento \ phi che si è verificato un po di tempo, espresso come \ diamondsuit \ phi, la sua negazione è \ lnot \ diamondsuit \ phi. Questultimo è uguale a \ square \ lnot \ phi, che viene interpretato come mai.
Aggiorna: il contrario di sempre, espresso come \ square \ psi è \ lnot \ square \ psi. Questultimo è uguale a \ diamondsuit \ lnot \ psi. Esempio concreto: sia \ psi un lancio di una moneta che si traduce in testa. Quindi \ diamondsuit \ lnot \ psi significa che stai lanciando teste in questo momento, e forse anche diversi lanci successivi, ma che almeno un lancio in futuro non si traduce in testa.
Aggiornamento 2: un esercizio, se definisci \ phi come un lancio che genera croce, allora \ phi = \ lnot \ psi. Qual è il contrario di \ diamondsuit \ phi espresso in termini di \ psi?
Vedi http://en.wikipedia.org/wiki/Linear\_temporal\_logic per ulteriori informazioni su questi operatori logici.