Quantificação: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m clean up, Replaced: == {{Veja Também}} == → =={{Ver também}}== utilizando AWB |
|||
Linha 209:
*Quantifier - PlanetMath Disponível em [http://planetmath.org/encyclopedia/Quantifier.html] Acessado em: 13 de junho, 2007, 10:52:00
==
*[[Quantificação existencial]]
*[[Quantificação universal]]
Linha 222:
*[[Teorema de Herbrand]]
=={{
* [http://www.stanford.edu/group/nasslli/courses/peters-wes/PWbookdraft2-3.pdf ''QUANTIFIERS''] (PDF) by Stanley Peters and Dag Westerståhl
|