Modifica di Fuzzy language logic (sezione)

===Quantifiers===

*Membership: represented by the symbol <math>\in </math> (belongs), - for example the number 13 belongs to the set of odd numbers <math>\in </math> <math>13\in  Odd </math>
*Non-membership: represented by the symbol <math>\notin </math> (It does not belong)
*Inclusion: Represented by the symbol <math>\subset</math> (is content), - for example the whole <math>A</math> it is contained within the larger set <math>U</math>, <math>A \subset U</math> (in this case it is said that <math>A</math> is a subset of <math>U</math>)
*Universal quantifier, which is indicated by the symbol <math>\forall</math> (for each)
*Demonstration, which is indicated by the symbol <math>\mid</math> (such that)