conectivo de tempo
conectivo de tempo
locução substantiva· masculino
- 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: "α antes de β" significa ∃t(α(t)∧∀t'(β(t')→t<t')).
Com a conta
Guarde e revise no ritmo certo.
Entre para salvar este verbete em coleções, marcar favoritos, criar acepções pessoais e estudar com revisões inteligentes.
Conteúdo sob CC BY-SA 4.0, via Fontes e licenças.