Meilleure réponse
Quelquun ma un jour demandé: «Quel est le contraire de« Pourquoi? »», Et jai répondu: «« Parce que . »
« Non », dit-il,« cest «Pourquoi pas?» »
Jétais stupéfait de voir à quel point cétait correct – tout ce temps, jai pensé« parce que » était le contraire de «pourquoi?», mais en réalité, cest la réponse au mot.
Cest ce que jaime dans cette question: cela ma obligé à regarder le concept d «attirer» dune toute nouvelle manière. Plutôt que dénumérer les antonymes – «repousser», «dégoût», «repousser», etc. – jai pu contempler la relation entre «distraction» et «attraction»:
- les deux sont des états de lesprit où votre attention est occupée dune manière spécifique; De plus, être contraint par quelque chose, quil soit attirant ou révoltant, utilise la même énergie et les mêmes pouvoirs dobservation;
- les choses qui vous attirent et les choses qui vous dégoûtent peuvent être distrayantes, mais avec des résultats très différents: le premier vous rapproche de quelque chose, tandis que ce dernier vous fait prendre une retraite précipitée.
Merci pour cette question stimulante!
Réponse
Votre définition de « un certain temps » paraît égale à lopérateur de fin dans la logique temporelle (linéaire). Donc, étant donné un événement \ phi qui sest produit quelque temps, exprimé par \ diamondsuit \ phi, alors sa négation est \ lnot \ diamondsuit \ phi. Ce dernier est égal à \ square \ lnot \ phi, qui est interprété comme jamais.
Mise à jour: lantonyme de toujours, exprimé comme \ square \ psi est \ lnot \ square \ psi. Ce dernier est égal à \ diamondsuit \ lnot \ psi. Exemple concret: soit \ psi un lancer de pièce qui donne des têtes. Alors \ diamondsuit \ lnot \ psi signifie que vous lancez des têtes en ce moment, et peut-être aussi plusieurs lancers ultérieurs, mais quil y a au moins un lancer dans le futur qui ne donne pas lieu à des têtes.
Mise à jour 2: un exercice, si vous définissez \ phi comme un lancer donnant des queues, alors \ phi = \ lnot \ psi. Quel est lantonyme de \ diamondsuit \ phi exprimé en termes de \ psi?
Voir http://en.wikipedia.org/wiki/Linear\_temporal\_logic pour en savoir plus sur ces opérateurs logiques.