Quantificação: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Bot: Modificando: nl:Kwantor (logica) |
|||
Linha 5:
O elemento da linguagem que representa a quantificação é chamado de [[quantificador]]. A expressão resultante é uma expressão quantificada, e dizemos que quantificamos sobre o predicado ou função cuja variável livre está [[variaveis livres e ligadas|ligada]] pelo quantificador. A quantificação é usada tanto nas linguagens naturais quanto nas formais. Alguns exemplos de quantificadores na linguagem natural são: ''para todo, para algum'', muitos, poucos, bastantes e nenhum. Nas linguagens formais, a quantificação é um construtor de fórmulas que produz novas fórmulas a partir de outras. A semântica da linguagem especifica como este constutor é interpretado pela extensão da noção de validade. A quantificação é um exemplo de uma operação que liga variáveis.
Os dois tipos fundamentais de quantificação na lógica de predicados são: a [[quantificação universal]] e a [[quantificação existencial]]. Outros casos de quantificação incluem a [[quantificação de unicidade]].
O símbolo tradicional para o quantificador universal "para todo" é ∀, a letra A invertida, e para o quantificador existencial "existe" é ∃ , a letra E rotacionada. Estes [[quantificadores]] foram generalizados através do trabalho de Mostowski e Lindström.
Linha 210:
*[[Quantificação existencial]]
*[[Quantificação universal]]
*[[Quantificação de unicidade]]
*[[Universo de discurso]]
*[[Lógica]]
| |||