Modifica di Logica di linguaggio fuzzy (sezione)

===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 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)