|
(cenni) In un'algebra di Boole la duale di una qualsiasi asserzione e' l'asserzione che si ottiene scambiando fra loro il prodotto con la somma e lo 0 con l'1. esempio l'uguaglianza (a+1)·(b+0) = b si puo' trasformare per dualita' nell'uguaglianza (a·0)+(b·1) = b In effetti se guardi le leggi (assiomi) dell'algebra binaria di Boole vedi che le proprieta' elencate sono duali fra loro Vale il teorema (principio di dualita') Il duale di un teorema nell'algebra di Boole e' ancora un teorema Notiamo la stretta corrispondenza esistente fra informatica, teoria degli insiemi e logica: in teoria degli insiemi hai le leggi di De Morgan, qui hai il principio di dualita' che non sono altro che lo stesso tipo di struttura su aspetti diversi della stessa realta' |
|
|
|
|