Mejor respuesta
Alguien me preguntó una vez: «¿Qué es lo opuesto a ¿Por qué?», Y yo respondí: «Porque . ”
“ No ”, dijo,“ es ¿Por qué no? ”
Me quedé estupefacto por lo correcto que era. Todo este tiempo, pensé“ porque ” era lo contrario de «¿por qué?», pero en realidad, es la respuesta a la palabra.
Eso es lo que me gusta de esta pregunta: me obligó a mirar el concepto de «atraer» de una manera completamente nueva. En lugar de enumerar los antónimos («repeler», «asco», «repulsión», etc.), pude contemplar la relación entre «distracción» y «atracción»:
- ambos son estados de tenga en cuenta dónde está ocupada su atención de una manera específica; también, ser obligado por algo, ya sea atractivo o repugnante, utiliza la misma energía y poder de observación;
- las cosas que te atraen y las cosas que te disgustan pueden distraer, pero con resultados muy diferentes: lo primero te acerca a algo, mientras que este último te asusta y te lleva a una rápida retirada.
¡Gracias por esta pregunta que invita a la reflexión!
Respuesta
Su definición de «algún tiempo» parece ser igual al operador eventual en la lógica temporal (lineal). Entonces, dado un evento \ phi que sucedió algún tiempo, expresado como \ diamondsuit \ phi, entonces su negación es \ lnot \ diamondsuit \ phi. Este último es igual a \ square \ lnot \ phi, que se interpreta como nunca.
Actualización: el antónimo de siempre, expresado como \ square \ psi es \ lnot \ square \ psi. Este último es igual a \ diamondsuit \ lnot \ psi. Ejemplo concreto: sea \ psi el lanzamiento de una moneda que resulte en cara. Entonces \ diamondsuit \ lnot \ psi significa que estás lanzando cara en este momento, y posiblemente también varios lanzamientos posteriores, pero que hay al menos un lanzamiento en el futuro que no resulta en cara.
Actualización 2: un ejercicio, si define \ phi como un lanzamiento que resulta en cruz, entonces \ phi = \ lnot \ psi. ¿Cuál es el antónimo de \ diamondsuit \ phi expresado en términos de \ psi?
Consulte http://en.wikipedia.org/wiki/Linear\_temporal\_logic para obtener más información sobre estos operadores lógicos.