Difference between revisions of "Store:FLes04"

no edit summary
(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:
===Set operators===
===Establecer operadores===


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>
Dado todo el universo <math>U</math> indicamos con <math>x</math> su elemento genérico de modo que <math>x \in U</math>; entonces, consideramos dos subconjuntos <math>A</math> y <math>B</math> interna a <math>U</math> de modo que <math>A \subset U</math> y <math>B \subset U</math>
{|
{|
|[[File:Venn0111.svg|left|80px]]
|[[File:Venn0111.svg|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)</math>. It is defined by all the elements that belong to <math>A</math> and <math>B</math> or both:
|'''Unión:''' representado por el símbolo <math>\cup</math>, indica la unión de los dos conjuntos <math>A</math> y <math>B</math> <math>(A\cup B)</math>. Está definido por todos los elementos que pertenecen a <math>A</math> y <math>B</math> o ambos:


<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]]
|'''Intersection:''' represented by the symbol <math>\cap</math>, indicates the elements belonging to both sets:
|'''Intersección:''' representado por el símbolo<math>\cap</math>, indica los elementos pertenecientes a ambos conjuntos:


<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]]
|'''Difference:''' represented by the symbol <math>-</math>, for example <math>A-B</math> shows all elements of <math>A</math> except those shared with <math>B</math>
|'''Diferencia:'''representado por el símbolo <math>-</math>, Por ejemplo <math>A-B</math> muestra todos los elementos de <math>A</math> excepto los compartidos con <math>B</math>
|-
|-
|[[File:Venn1000.svg|left|80px]]
|[[File:Venn1000.svg|left|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 />
|'''Complementaria:''' representado por una barra sobre el nombre de la colección, indica por <math>\bar{A}</math> La complementaria de <math>A</math>,es decir, el conjunto de elementos que pertenecen a todo el universo excepto los de <math>A</math>, en fórmulas:<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>.
La teoría de la lógica del lenguaje difuso es una extensión de la teoría clásica de conjuntos en la que, sin embargo, los principios de no contradicción y del tercero excluido no son válidos. Recuérdese que en lógica clásica, dado el conjunto <math>A</math> y su <math>\bar{A}</math> complementario, el principio de no contradicción establece que si un elemento pertenece al <math>A</math> entero no puede a la vez pertenecer también a su <math>\bar{A}</math> complementario; según el principio del tercero excluido, sin embargo, la unión de un <math>A</math> entero y su <math>\bar{A}</math> complementario constituye el universo completo <math>U</math>


In other words, if any element does not belong to the whole, it must necessarily belong to its complementary.
En otras palabras, si algún elemento no pertenece al todo, necesariamente debe pertenecer a su complementario.
Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, founder, Interface administrators, member, oversight, Suppressors, Administrators, translator
11,301

edits