Conectivo de tempo

Predefinição:-pt-

Locução substantiva

conectivo de tempo, Predefinição:G Predefinição:P

1. Predefinição:Escopo 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 $\mathrm{\exists }t(\alpha (t)\wedge \mathrm{\forall }{t}^{\prime }(\beta (t^{\prime })\to t<t^{\prime }))$.

Ver também

No Wikcionário

• conectivo

• tempo