Omotetie e disequazioni

[DD]

Diamo un\'interpretazione nel campo della logica a quello che a scritto Azarus in modo da render il tutto quasi comprensibile:
<BR>
<BR>x, elemento di A, è il valore di verità di una proposizione X (scriviamo x=v(X))
<BR>0 è il valore di verità di una proposizione falsa (0=v(F))
<BR>1 è il valore di verità di una proposizione vera (1=v(V))
<BR>x =< y significa X è implicato da Y
<BR>x°y=v(X vel Y)
<BR>x§y=v(X et Y)
<BR>x\'=v(nonX) e v(X vel nonX)=1 e v(X et nonX)=0