Quantificação: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m |
|||
Linha 164:
é a função ''H'' de ''n-1'' argumentos tal que ''H''(''v''<sub>1</sub>,...,''v''<sub>n-1</sub>)='''V''' se e somente se ''F''(''v''<sub>1</sub>,..,''v''<sub>n-1</sub>,''w'')='''V''' para pelo menos um ''w'' e ''H''(''v''<sub>1</sub>,...,''v''<sub>n-1</sub>)='''F''' noutros casos.
A semântica para quantificação de unicidade requer uso do cálculo de predicados de primeira ordem com igualdade. Isto significa que se pressupõe um predicado binário "="
::<math> \exists ! x_n A(x_1, \ldots , x_n) </math>
é então a função de <math>n</math>-1 argumentos, que representa a conjução lógica da interpretação de
| |||