5.52
Sejam os valôres de ξ todos os valôres de uma função fx para todos os valôres de x, então N (ξ̄) = ∼(∃x) . fx.
Continuar
- 5.521 Separo o conceito *todo* das funções de verdade.
- 5.522 É peculiar à designação da universalidade: 1) referir-se a uma protofiguração lógica; 2) salientar…
- 5.523 A designação da universalidade aparece como argumento.
- 5.524 Caso os objetos estejam dados, nos estarão dados *todos* os objetos.
- 5.525 É incorreto interpretar a proposição “(∃*x*) . *fx*” — como Russell o faz — pelas palavras: “*fx* é…
- 5.526 É possível descrever o mundo completamente por meio de proposições perfeitamente universalizadas, a…