Metadata
Author: WikiMatrix
Data
English[en]
For example, temporal logic has operators denoting "will be true at some time in the future" and "will be true at all times in the future" which are similarly dual.
Spanish[es]
Por ejemplo, la lógica temporal tiene operadores que denotan "será cierto en algún momento en el futuro" y "será cierto en todo momento en el futuro", que son igualmente duales.