Quantificação: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 99:
Advertimos ao leitor que a lógica correspondente para tal semântica é excessivamente complicada.
== {{Veja Também}} ==▼
*[[Quantificação existencial]]▼
*[[Universo de discurso]]▼
*[[Lógica]]▼
*[[Lógica de primeira ordem]]▼
*[[Skolemização]]▼
=={{Links Externos}}==▼
* [http://www.stanford.edu/group/nasslli/courses/peters-wes/PWbookdraft2-3.pdf ''QUANTIFIERS''] (PDF) by Stanley Peters and Dag Westerståhl▼
[[Categoria:Lógica]]▼
[[Category:Lógica matemática]]▼
[[Category:Semântica]]▼
[[en:Quantification]]
Linha 112 ⟶ 126:
[[zh:量化 (数理逻辑)]]
[[he:כמת (לוגיקה)]]
▲[[Categoria:Lógica]]
▲[[Category:Lógica matemática]]
▲[[Category:Semântica]]
▲== {{Veja Também}} ==
▲*[[Quantificação existencial]]
▲*[[Universo de discurso]]
▲*[[Lógica]]
▲*[[Lógica de primeira ordem]]
▲*[[Skolemização]]
▲==Links Externos==
▲* [http://www.stanford.edu/group/nasslli/courses/peters-wes/PWbookdraft2-3.pdf ''QUANTIFIERS''] (PDF) by Stanley Peters and Dag Westerståhl
|