Transcript Boole.ppt

RETICOLI DISTRIBUTIVI
Se introduciamo un attributo universale I, del quale ogni
oggetto esistente o pensabile gode, e un attributo assurdo, O,
del quale nessun oggetto possibile può godere, e si denota
con x’ la negazione di x, si ha:
x’  x = x’ o x = I
x’  x = x’ e x = O
Per esempio, se x = rosso, ogni oggetto o è rosso, o non è
rosso, mentre nessun oggetto è insieme rosso e non rosso
(tertium non datur, cioè una terza ipotesi è esclusa)
Con la impostazione di Boole, si può sviluppare impiegando
tecniche matematiche tutta la logica classica.
Clik qui per il ritorno