[¯|¯] Uguaglianza logica. Uguaglianza geometrica. Insiemi in estensione

mercoledì, Giugno 6th, 2018

Definizione
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 a₁,a₂,...,a_n, 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

uguaglianza logica,uguaglianza geometrica,insiemi in estensione,simbolo di peano

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.

Vai alla lezione successiva

Vai alla lezione precedente

Indice delle lezioni