Melhor resposta
Alguém uma vez me perguntou: “Qual é o oposto de Por quê?”, E eu respondi: “Porque . ”
“ Não ”, disse ele,“ é Por que não? ”
Fiquei pasmo com a forma como isso era correto – todo esse tempo, pensei“ porque ” foi o oposto de “por quê?”, mas, na verdade, é a resposta à palavra.
É disso que gosto nesta pergunta: isso me forçou a olhar para o conceito de “atrair” de uma maneira totalmente nova. Em vez de listar os antônimos – “repelir”, “repulsa”, “repulsa”, etc. – eu tive que contemplar a relação entre “distração” e “atração”:
- ambos são estados de preste atenção onde sua atenção está ocupada de uma maneira específica; além disso, ser compelido por algo, seja atraente ou repulsivo, utiliza a mesma energia e poderes de observação;
- coisas que te atraem e coisas que te enojam podem distrair, mas com resultados muito diferentes: a primeira atrai você para mais perto de algo, enquanto o último o faz bater em retirada.
Obrigado por esta pergunta instigante!
Resposta
Sua definição de “algum tempo” parece igual ao operador eventualmente na lógica temporal (linear). Portanto, dado um evento \ phi que ocorreu em algum momento, expresso como \ diamondsuit \ phi, sua negação é \ lnot \ diamondsuit \ phi. O último é igual a \ square \ lnot \ phi, que é interpretado como nunca.
Atualização: o antônimo de sempre, expresso como \ square \ psi, é \ lnot \ square \ psi. O último é igual a \ diamondsuit \ lnot \ psi. Exemplo concreto: seja \ psi um lance de moeda que resulta em cara. Então \ diamondsuit \ lnot \ psi significa que você está jogando cara agora, e possivelmente vários lances subsequentes também, mas que há pelo menos um lance no futuro que não resultará em cara.
Atualização 2: um exercício, se você definir \ phi como um lance que resulta em coroa, então \ phi = \ lnot \ psi. Qual é o antônimo de \ diamondsuit \ phi expresso em termos de \ psi?
Consulte http://en.wikipedia.org/wiki/Linear\_temporal\_logic para obter mais informações sobre esses operadores lógicos.