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 theory== As mentioned in the previous chapter, the basic concept of fuzzy logic is that of multivalence, i.e., in terms of set theory, of the possibility that an object can belong to a set even partially and, therefore, also to several sets with different degrees. Let us recall from the beginning the basic elements of the theory of ordinary sets. As will be seen, in them appear the formal expressions of the principles of Aristotelian logic, recalled in the previous...") |
|||
Line 1: | Line 1: | ||
== | ==Teoría de conjuntos== | ||
Como se mencionó en el capítulo anterior, el concepto básico de la lógica difusa es el de multivalencia, es decir, en términos de teoría de conjuntos, de la posibilidad de que un objeto pueda pertenecer a un conjunto aunque sea parcialmente y, por lo tanto, también a varios conjuntos con diferentes grados. . Recordemos desde el principio los elementos básicos de la teoría de los conjuntos ordinarios. Como se verá, en ellos aparecen las expresiones formales de los principios de la lógica aristotélica, recordados en el capítulo anterior. | |||
=== | ===Cuantificadores=== | ||
* | *Membresía: representado por el símbolo <math>\in </math> (pertenece), - por ejemplo, el número 13 pertenece al conjunto de números impares<math>\in </math> <math>13\in Odd </math> | ||
* | *No pertenencia: representado por el símbolo <math>\notin </math> (No pertenece) | ||
* | *Inclusión: Representado por el símbolo <math>\subset</math> (es contenido), - por ejemplo, el <math>A</math> completo está contenido dentro del conjunto más grande <math>U</math>, <math>A \subset U</math> (en este caso se dice que <math>A</math> es un subconjunto de <math>U</math>) | ||
* | *Cuantificador universal, que se indica con el símbolo <math>\forall</math> (para cada uno) | ||
* | *Demostración, que se indica con el símbolo <math>\mid</math> (tal que) |
edits