Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, founder, Interface administrators, oversight, Suppressors, Administrators, translator
10,784
edits
Gianfranco (talk | contribs) (Created page with "===Set operators=== Given the whole universe <math>U</math> we indicate with <math>x</math> its generic element so that <math>x \in U</math>; then, we consider two subsets <math>A</math> and <math>B</math> internal to <math>U</math> so that <math>A \subset U</math> and <math>B \subset U</math> {| |left|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...") |
|||
Line 1: | Line 1: | ||
=== | ===Operatoren festlegen=== | ||
Angesichts des gesamten Universums <math>U</math> geben wir mit <math>x</math> sein generisches Element an<math>x \in U</math>, so dass; dann betrachten wir zwei Teilmengen <math>A</math> und <math>B</math> intern zu <math>U</math>, so dass <math>A \subset U</math> und <math>B \subset U</math> | |||
{| | {| | ||
|[[File:Venn0111.svg|left|80px]] | |[[File:Venn0111.svg|left|80px]] | ||
|''' | |'''Vereinigung:''' dargestellt durch das Symbol <math>\cup</math>, zeigt die Vereinigung der beiden Mengen <math>A</math> und <math>B</math> an <math>(A\cup B)</math>. Sie wird durch alle Elemente definiert, die zu <math>A</math> und <math>B</math> oder beiden gehören: | ||
<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|80px]] | |[[File:Venn0001.svg|sinistra|80px]] | ||
|''' | |'''Schnittpunkt:''' dargestellt durch das Symbol <math>\cap</math>, zeigt die Elemente an, die zu beiden Mengen gehören: | ||
<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|left|80px]] | |[[File:Venn0010.svg|left|80px]] | ||
|''' | |'''Unterschied:''' dargestellt durch das Symbol <math>-</math>, zum Beispiel zeigt <math>A-B</math> alle Elemente von <math>A</math> außer denen, die mit <math>B</math> geteilt werden | ||
|- | |- | ||
|[[File:Venn1000.svg|left|80px]] | |[[File:Venn1000.svg|left|80px]] | ||
|''' | |'''Komplementär:''' dargestellt durch einen Balken über dem Namen der Sammlung, zeigt es mit <math>\bar{A}</math> das Komplement von <math>A</math> an, d. h. die Menge der Elemente, die zum gesamten Universum gehören, außer denen von <math>A</math>, in Formeln: <math>\bar{A}=U-A</math><br /> | ||
|} | |} | ||
Die Theorie der Fuzzy-Sprachlogik ist eine Erweiterung der klassischen Mengenlehre, in der jedoch die Prinzipien der Widerspruchsfreiheit und des ausgeschlossenen Dritten nicht gelten. Denken Sie daran, dass in der klassischen Logik angesichts der Menge <math>A</math> und ihrer komplementären <math>\bar{A}</math> das Prinzip der Widerspruchsfreiheit besagt, dass ein Element, das zur ganzen <math>A</math> gehört, nicht gleichzeitig auch zu seiner komplementären <math>\bar{A}</math> gehören kann; nach dem Prinzip des ausgeschlossenen Dritten jedoch bildet die Vereinigung einer ganzen <math>A</math> und ihrer komplementären <math>\bar{A}</math> das vollständige Universum <math>U</math>. | |||
Mit anderen Worten, wenn irgendein Element nicht zum Ganzen gehört, muss es notwendigerweise zu seiner Ergänzung gehören. |
edits