salve a tutti, mi sono appena iscritto perchè ho un problema e da altre parti non ho trovato nulla su come risolverlo.
Questo reticolo N5 viene usato come esempio di 'non distributivo':
ho provato a farlo, è giusta la procedura?
So che un reticolo è distributivo se verifica entrambe: $ (x vv y) ^^ z = (x ^^ z) vv (y ^^ z) $ e viceversa per la dualità (giusto?). Allora se non ne verica almeno una non è un reticolo distributivo (giusto?)...
La mia procedura:
$ a ^^ b = 0 $ (inteso come minimo)
$ a ^^ c = c $
$ 0 vv c = c $
$ b vv c = 1 $ (inteso come massimo)
$ a ^^ 1 = a $
so che può sembrare banale ma mi ha fatto sudare parecchio, è giusta la procedura?
PS: cosa vuol dire che è N 5?