conectivo de tempo

Português

Locução substantiva

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: "$\alpha$ antes de $\beta$" significa $\exists t(\alpha (t)\wedge \forall t'(\beta (t')\to t<t'))$.

Ver também

No Wikcionário

conectivo

tempo