5,953
edits
No edit summary |
No edit summary |
||
Line 1,348: | Line 1,348: | ||
Invece di compiere le operazioni logiche nella proposizione sulle sue proposizioni parziali, noi possiamo coordinare a queste dei contrassegni e operare con essi. Allora ''a una'' immagine proposizionale viene coordinata una costellazione di contrassegni che le corrisponde nella maniera più complicata. | Invece di compiere le operazioni logiche nella proposizione sulle sue proposizioni parziali, noi possiamo coordinare a queste dei contrassegni e operare con essi. Allora ''a una'' immagine proposizionale viene coordinata una costellazione di contrassegni che le corrisponde nella maniera più complicata. | ||
{{p indent|<math>(aRb, cSd, \phi e) ((p \lor q).r : \supset : q.r . \equiv . p \lor r)</math>}} | |||
{{p indent|<math>\quad p \quad q \quad r</math>}} | |||