Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, founder, Interface administrators, oversight, Suppressors, Administrators, translator
10,785
edits
Line 1: | Line 1: | ||
==Insiemistica== | ==Insiemistica== | ||
Come accennato nel capitolo precedente, il concetto base della logica fuzzy è quello di multivalenza, ovvero, in termini di teoria degli insiemi, della possibilità che un oggetto possa appartenere ad un insieme anche parzialmente e, quindi, anche a più insiemi con gradi differenti . Ricordiamo fin dall'inizio gli elementi di base della teoria degli insiemi ordinari. Come si vedrà, in essi compaiono le espressioni formali dei principi della logica aristotelica, richiamati nel capitolo precedente. | |||
=== | ===Quantificatori=== | ||
* | *Appartenenza: rappresentata dal simbolo <math>\in </math> (appartiene), - ad esempio il numero 13 appartiene all'insieme dei numeri dispari <math>\in </math> <math>13\in Odd </math> | ||
*Non | *Non appartenenza: rappresentato dal simbolo <math>\notin </math> (non appartiene) | ||
* | *Inclusione: Rappresentata dal simbolo <math>\subset</math> (è contenuto), - ad esempio l'intero <math>A</math> è contenuto all'interno dell'insieme più grande <math>U</math>, <math>A \subset U</math> (in questo caso si dice che <math>A</math> è un sottoinsieme di <math>U</math> | ||
* | *Quantificatore universale, indicato dal simbolo <math>\forall</math> (per ciascuno) | ||
* | *Dimostrazione, che è indicata dal simbolo <math>\mid</math> (tale che) |
edits