Tabella della verità: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 186:
Questa notazione è utile specialmente se gli operatori sono commutativi, benché si possano specificare le righe come primo operando e le colonne come secondo. La notazione abbreviata è particolarmente utile quando si trattano valori logici multipli, dato che rallenta il vertiginoso aumento di righe che sarebbe altrimenti necessario usare. Fornisce anche una ''forma'' caratteristica e prontamente riconoscibile della distribuzione dei valori nella tabella, permettendo al lettore una più rapida comprensione.
 
== Inferenza logica spaziale. ==
Wittgenstein (1921) e Pólya (1940) coi loro lavori posero le basi della nozione di spazio logico e di ipercubo. Ogni proposizione atomica (con la sua negazione) forma un asse di un [[sistema di coordinate cartesiane]], in un punto del quale assume un valore booleano (+1 se vera; -1 se falsa, essendo lo zero già usato per l'origine degli assi) a seconda del suo valore di verità.
Per ogni punto di un ipercubo, può essere identificato un sub-spazio logico fra questo punto e l'origine degli assi. Su ogni spazio logico possono operare gli operatori booleani di unione, intersezione e negazione.