6,012
edits
No edit summary |
No edit summary |
||
Line 415: | Line 415: | ||
\sim p . \sim p \\ | \sim p . \sim p \\ | ||
\text{etc. etc.} | \text{etc. etc.} | ||
\end{matrix} \right \} \text{ | \end{matrix} \right \} \text{e lo stesso vale per la notazione generale etc.}</math> | ||
</p> | </p> | ||
Line 986: | Line 986: | ||
p. taut = p; vale a dire taut non dice nulla! [''Cfr.'' 4.465.] | p. taut = p; vale a dire taut non dice nulla! [''Cfr.'' 4.465.] | ||
{{ParTB|13. 12. 14. | {{ParTB|13. 12. 14.}} | ||
Esaurisce l’essenza della negazione che essa sia una operazione che toglie se stessa? Allora ''χ'' dovrebbe significare la negazione, se ''χχ''p = p presuppone che ''χ''p ≠ p. | Esaurisce l’essenza della negazione che essa sia una operazione che toglie se stessa? Allora ''χ'' dovrebbe significare la negazione, se ''χχ''p = p presuppone che ''χ''p ≠ p. |