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: | ||
== | ==Théorie des ensembles== | ||
Comme mentionné dans le chapitre précédent, le concept de base de la logique floue est celui de multivalence, c'est-à-dire, en termes de théorie des ensembles, de la possibilité qu'un objet puisse appartenir à un ensemble même partiellement et, donc, également à plusieurs ensembles avec des degrés différents . Rappelons d'emblée les éléments de base de la théorie des ensembles ordinaires. Comme on le verra, y figurent les expressions formelles des principes de la logique aristotélicienne, rappelés au chapitre précédent. | |||
=== | ===Quantificateurs=== | ||
* | *Adhésion : représentée par le symbole 0 (appartient), - par exemple le nombre 13 appartient à l'ensemble des nombres impair<math>\in </math> <math>13\in Odd </math> | ||
*Non- | *Non-appartenance : représenté par le symbole <math>\notin </math> (Il n'appartient pas) | ||
*Inclusion: | *Inclusion : Représenté par le symbole <math>\subset</math> (est contenu), - par exemple l'ensemble <math>A</math> il est contenu dans l'ensemble plus large <math>U</math>,<math>A \subset U</math> (dans ce cas on dit que <math>A</math> est un sous-ensemble de <math>U</math>) | ||
* | *Quantificateur universel, qui est indiqué par le symbole <math>\forall</math> (pour chaque) | ||
* | *Démonstration, qui est indiquée par le symbole <math>\mid</math> (tel que) |
edits