5,953
edits
No edit summary |
No edit summary |
||
Line 1,321: | Line 1,321: | ||
{{ParTLP|5.476}} È chiaro che qui non si tratta di un ''novero di concetti fondamentali'' che devono essere designati, ma dell'espressione di una regola. | {{ParTLP|5.476}} È chiaro che qui non si tratta di un ''novero di concetti fondamentali'' che devono essere designati, ma dell'espressione di una regola. | ||
{{ParTLP|5.5}} Ogni funzione di verità è un risultato dell'applicazione successiva dell'operazione (– – – – –V)(ξ, . . . .) a proposizioni elementari. | {{ParTLP|5.5}} Ogni funzione di verità è un risultato dell'applicazione successiva dell'operazione {{nowrap|(– – – – –V)(ξ, ....)}} a proposizioni elementari. | ||
Questa operazione nega tutte le proposizioni nella parentesi di destra e io la chiamo la negazione di queste proposizioni. | Questa operazione nega tutte le proposizioni nella parentesi di destra e io la chiamo la negazione di queste proposizioni. | ||
Line 1,337: | Line 1,337: | ||
Noi ''possiamo'' distinguere tre modalità della descrizione: 1. L'enumerazione diretta. In questo caso possiamo semplicemente inserire al posto della variabile i suoi valori costanti. 2. L'enunciazione di una funzione ''f'' ''x'' i cui valori sono, per tutti i valori di ''x'', le proposizioni da descrivere. 3. L'enunciazione di una legge formale secondo la quale quelle proposizioni sono costruite. In questo caso i termini dell'espressione tra parentesi sono tutti i termini di una serie formale. | Noi ''possiamo'' distinguere tre modalità della descrizione: 1. L'enumerazione diretta. In questo caso possiamo semplicemente inserire al posto della variabile i suoi valori costanti. 2. L'enunciazione di una funzione ''f'' ''x'' i cui valori sono, per tutti i valori di ''x'', le proposizioni da descrivere. 3. L'enunciazione di una legge formale secondo la quale quelle proposizioni sono costruite. In questo caso i termini dell'espressione tra parentesi sono tutti i termini di una serie formale. | ||
{{ParTLP|5.502}} Scrivo dunque, anziché «(– – – – –V)(ξ, . . . .)», «<math>N ( \bar{\xi} )</math>» | {{ParTLP|5.502}} Scrivo dunque, anziché {{nowrap|«(– – – – –V)(ξ, ....)»,}} «<math>N ( \bar{\xi} )</math>» | ||
<math>N ( \bar{\xi} )</math> è la negazione di tutti i valori della variabile proposizionale ξ. | <math>N ( \bar{\xi} )</math> è la negazione di tutti i valori della variabile proposizionale ξ. |