Quantificação: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 108:
::<math> 0< \operatorname{P} \{w: F(v_1, \ldots, v_{n-1}, w) = \mathbf{T}\} \leq a </math>
e '''V''' em caso contrário. Evitamos inteiramente a discussão de questões técnicas envolvendo a mensurabilidade das funções de interpretação
Advertimos o leitor de que a ''lógica'' correspondente para tal semântica é bastante complicada.
| |||