Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, Interface administrators, lookupuser, oversight, push-subscription-manager, Suppressors, Administrators, translator, widgeteditor
17,894
edits
Changes
→Set operators
Given the whole universe <math>U</math> we indicate with <math>x</math> its generic element such that<math>x \in U</math>; then we consider two subsets <math>A</math> and <math>B</math> internal to <math>U</math> such that <math>A \subset U</math> and <math>B \subset U</math>
Given the whole universe <math>U</math> we indicate with <math>x</math> its generic element such that<math>x \in U</math>; then we consider two subsets <math>A</math> and <math>B</math> internal to <math>U</math> such that <math>A \subset U</math> and <math>B \subset U</math>
{|
{|
|[[File:Venn0111.svg|sinistra|80x80px]]
|[[File:Venn0111.svg|sinistra|80px]]
|'''Union:''' represented by the symbol <math>\cup</math>, indicates the union of the two sets <math>A</math> and <math>B</math> <math>(A\cup B)</math>. It is defined by all the elements that belong to <math>A</math> and <math>B</math> or both:
|'''Union:''' represented by the symbol <math>\cup</math>, indicates the union of the two sets <math>A</math> and <math>B</math> <math>(A\cup B)</math>. It is defined by all the elements that belong to <math>A</math> and <math>B</math> or both:
<math>(A\cup B)=\{\forall x\in U \mid x\in A \land x\in B\}</math>
<math>(A\cup B)=\{\forall x\in U \mid x\in A \land x\in B\}</math>
|-
|-
|[[File:Venn0001.svg|sinistra|80x80px]]
|[[File:Venn0001.svg|sinistra|80px]]
|'''Intersection:''' represented by the symbol <math>\cap</math>, indicates the elements belonging to both sets:
|'''Intersection:''' represented by the symbol <math>\cap</math>, indicates the elements belonging to both sets:
<math>(A\cap B)=\{\forall x\in U \mid x\in A \lor x\in B\}</math>
<math>(A\cap B)=\{\forall x\in U \mid x\in A \lor x\in B\}</math>
|-
|-
|[[File:Venn0010.svg|sinistra|80x80px]]
|[[File:Venn0010.svg|sinistra|80px]]
|'''Difference:''' represented by the symbol <math>-</math>, for example <math>A-B</math> shows that all elements of <math>A</math> except those shared with <math>B</math>
|'''Difference:''' represented by the symbol <math>-</math>, for example <math>A-B</math> shows that all elements of <math>A</math> except those shared with <math>B</math>
|-
|-
|[[File:Venn1000.svg|sinistra|80x80px]]
|[[File:Venn1000.svg|sinistra|80px]]
|'''Complementary:''' represented by a bar above the name of the collection, it indicates by <math>\bar{A}</math> the complementary of <math>A</math>, that is, the set of elements that belong to the whole universe except those of <math>A</math>, in formulas: <math>\bar{A}=U-A</math><br />
|'''Complementary:''' represented by a bar above the name of the collection, it indicates by <math>\bar{A}</math> the complementary of <math>A</math>, that is, the set of elements that belong to the whole universe except those of <math>A</math>, in formulas: <math>\bar{A}=U-A</math><br />
|}The theory of fuzzy language logic is an extension of the classical theory of sets in which, however, the principles of non-contradiction and the excluded third are not valid. Remember that in classical logic, given the set <math>A</math> and its complementary <math>\bar{A}</math>, the principle of non-contradiction states that if an element belongs to the whole <math>A</math> it cannot at the same time also belong to its complementary <math>\bar{A}</math>; according to the principle of the excluded third, however, the union of a whole <math>A</math> and its complementary <math>\bar{A}</math> constitutes the complete universe <math>U</math>.
|}The theory of fuzzy language logic is an extension of the classical theory of sets in which, however, the principles of non-contradiction and the excluded third are not valid. Remember that in classical logic, given the set <math>A</math> and its complementary <math>\bar{A}</math>, the principle of non-contradiction states that if an element belongs to the whole <math>A</math> it cannot at the same time also belong to its complementary <math>\bar{A}</math>; according to the principle of the excluded third, however, the union of a whole <math>A</math> and its complementary <math>\bar{A}</math> constitutes the complete universe <math>U</math>.