Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, founder, Interface administrators, member, oversight, Suppressors, Administrators, translator
11,564
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: | ||
===  | ===Establecer operadores===  | ||
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]]  | ||
|'''  | |'''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]]  | ||
|'''  | |'''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]]  | ||
|'''  | |'''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]]  | ||
|'''  | |'''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 />  | ||
|}  | |}  | ||
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>  | |||
En otras palabras, si algún elemento no pertenece al todo, necesariamente debe pertenecer a su complementario.  | |||
edits