conectivo de tempo, masculino (plural: conectivos de tempo)

1. (Lógica) conectivos que envolvem noções temporais, como antes, após, durante; são estudados principalmente pelas lógicas temporais
   • O conectivo de tempo "antes de" em alguns sistemas é entendido da seguinte maneira: "${\displaystyle \alpha }$ antes de ${\displaystyle \beta }$" significa ${\displaystyle \exists t(\alpha (t)\wedge \forall t'(\beta (t')\to t<t'))}$.