Definição de conectivo de tempo | Babel Free

Definições

conectivos que envolvem noções temporais, como antes, após, durante; são estudados principalmente pelas lógicas temporais

Exemplos

“O conectivo de tempo "antes de" em alguns sistemas é entendido da seguinte maneira: "α antes de β" significa ∃t(α(t)∧∀t'(β(t')→t<t')).”

Nível QECR