[¯|¯] Uguaglianza logica. Uguaglianza geometrica. Insiemi in estensione
mercoledì, Giugno 6th, 2018Definizione
Due elementi a e b sono uguali se e solo se sono stesso elemento, e si scrive
Tale definizione rappresenta la nozione di uguaglianza logica (o uguaglianza in logica matematica) ed è diversa dal concetto di uguaglianza geometrica. Ad esempio, due quadrati di lato l sono geometricamente uguali in quanto sovrapponibili, ma logicamente distinti (cfr. fig. 1).
Comunque prendiamo un elemento a, possiamo considerare l'insieme il cui unico elemento è a, e che viene denotato con {a}, tenendo presente che a e {a} sono due nozioni distinte. Il predetto simbolo definisce la notazione in estensione di un assegnato insieme. Più precisamente, se un insieme A è costituito da n elementi a1,a2,...,an, la notazione estesa restituisce l'oggetto:
Si badi che nella notazione in estensione, l'ordine con cui sono disposti i singoli elementi, è ininfluente. Ad esempio, consideriamo l'insieme:
Per quanto precede:
Inoltre, un elemento può essere ripetuto più volte:
Appartenenza ad un insieme. Il simbolo di Peano
Ilsimbolo di Peano definisce l'appartenenza di un elemento a un insieme:
che si legge "a appartiene ad A". Un simbolo equivalente è
che si legge "A contiene a come elemento". Viceversa, se a non è un elemento di A, dobbiamo eseguire la negazione dell'appartenenza. E ciò viene fatto barrando il simbolo di Peano:
Altri simboli logici sono i connettivi logici:
e la sua negazione
Simbolo di equivalenza
Un altro simbolo notevole è | ("tale che").
Sostienici
Puoi contribuire all’uscita di nuovi articoli ed e-books gratuiti che il nostro staff potrà mettere a disposizione per te e migliaia di altri lettori.