conectivo de tempo

Português

Locução substantiva

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

(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'))$ .

No Wikcionário

conectivo

tempo

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.