Dicionário de Termos LinguÃsticos
voltar ao Ãndice
âmbito de um operador
Definição:
Por âmbito ou escopo de um operador, quer seja um conector ou um quantificador, entende-se a parte da fórmula que está dentro do seu domínio de operação. Esta é normalmente indicada por parênteses. Exemplo: existem livros interessantes e aborrecidos.
| a = ser um livro | x - variável
| | b = ser interessante | ∃ - quantificador existencial
| | c = ser aborrecido | & - conjunção
|
∃ x.(ax&bx) & ∃ x.(ax&cx)
Volume II
Fonte: LYONS (1977). 
|
