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

mercoledì, Giugno 6th, 2018

uguaglianza logica,uguaglianza geometrica,insiemi in estensione,simbolo di peano
Fig. 1. Due quadrati aventi lo stesso lato, sono geometricamente uguali, giacché esiste un movimento che porta uno a sovrapporsi all'altro.


Definizione
Due elementi a e b sono uguali se e solo se sono stesso elemento, e si scrive
uguaglianza logica,uguaglianza geometrica,insiemi in estensione,simbolo di peano

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:

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

Si badi che nella notazione in estensione, l'ordine con cui sono disposti i singoli elementi, è ininfluente. Ad esempio, consideriamo l'insieme:

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

Per quanto precede:

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









Inoltre, un elemento può essere ripetuto più volte:

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

Appartenenza ad un insieme. Il simbolo di Peano

Ilsimbolo di Peano definisce l'appartenenza di un elemento a un insieme:

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

che si legge "a appartiene ad A". Un simbolo equivalente è

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

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:

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

Altri simboli logici sono i connettivi logici:

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

e la sua negazione

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

Simbolo di equivalenza

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

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