Che cos'è un insieme

Un raggruppamento di oggetti è un insiemematematico se esiste

un criterio oggettivoperstabilire univocamentese un oggetto parte
fa
del raggruppamentooppureno
Se un oggetto a fa partedi un insiemeA sidicecheè un elemento
cheappartiene all'insieme a cA
Un insiemevuoto èun insiemechenonhaehmenti
Esercizipag188
 Lerappresentazionidi un insieme
e i
Esistonotretipidi rappresentazionidi un insieme
GRAFICA mediante idiagrammidi Eulero Venn

PERELENCAZIONE
PERPROPRIETÀ CARATTERISTICA
Esercizi
pag189

Esercizipag190
I sottoinsiemi
setuttiglielementidi un insiemeB appartengono all'insiemeA allora
B è un sottoinsieme di A BET
SeA è un sottoinsieme di B e B è unsottoinsiemediA allora A e B
sonoinsiemiuguali rete
Se BEA e Bea e BIO allora 13 è un sottoinsiemepropriodiA
Bette 0 e A stesso sichiamano sottoinsiemiimpropri di A
Esercizipag191
 le operazioni con gliinsiemi
l'intersezione di A e B èl'insieme deglielementi cheappartengono
sia adA che ab Ante
L'unione di A e B èl'insiemedeglielementicheappartengono o ad
A o a B o ad entrambiAUBE È
Dueinsiemisono disgiunti se nonhannoelementi incomune
La differenzafra A e B èl'insiemeformatodaglielementidi A
che ne sono elementi di B
è sottoinsieme diA
ta È
complementare di B
se B il rispettoadA è
A B e si indica con 5A
Il
È
prodotto cartesiano di A e B si indica con HBOed ècostituito
datutte lecoppieordinate a b con AEA e beB Il prodotto
cartesianonon è commutativa
Esercizipag193
O 0
O 0
Problemi
pag194
O
0
Esirawpag196 differenza

Eberan p197 complementare

Leproposizionied i connettivilogici
le proposizionilogichesonoenunciatitalicheèpossibilestabilirese essisono
ofalsi attribuendoloroun valorediverita
peri
connettivi logicileganotraloro
due opiùproposizioni formando
le proposizionicomposte

Esercizipag205

Esercizisullanegazione
Esercizipag206 e seguenti congiunzione disgiunzioneinclusivaeesclusiva
Esercizi
pag209 implicazionemateriale eseguenti

Esercizi
pag210 doppiaimplicazione
Espressioni logicheequivalenti
componendo
piùproposizioni coni
connettivilogici si ottengonodelle
espressionilogiche
Ilconnettino non haprioritàrispetto
Dueespressionilogichesono
aglialtri
equivalentischannougualitavele

Esercizi diverità
paglia
letautologicelecontraddizioni
le tautologie sono proposizioni compostesemprevere
Le contraddizioni sono proposizionicompostesemprefalse
Adesempio Andata e'unatautologia A e'unacontraddizione
Esercizi
paghi

Formediragionamentovalide

Ilmodusponensedilmodustollerissonoformediragionamento
valide
A B modusponens 13 modustotters
A
LA B NAIB È
B laburista
A
Esercizip.IM
lalogica egenisiami A I x EN a
ij
Unenunciatoaperto è un enunciato Esempio
checontienealmeno una variabile AH èdivisoredi12
se allavariabilesostituiamo un universoIN
elementodell'insiemeuniverso Alil 4èdivisoredi12 V
l'enunciatodiventaunaproposizione a è divisore di23
Metti
Datoun insiemeuniverso ad un enunciatoapertocorrispondeun insieme
diveritàformatodatuttiglielementichesostituitiallavariabile rendono
l'enunciato una proposizionevera

Aglienunciaticheotteniamo coni connettivilogici corrispondono

gliinsiemi
diveritàchesi ottengono conleoperazionitra insiemi
Esercizipag214

perogni EN èdivisibileper 1
 ed Iep
09mi F
lauantificatori
XENA e'divisibilepaesi
Unenunciatapertodiventaunaproposizioncanchese utilizziamo un
Quantificatoreesistenziale cheafferma l'esistenza di almeno
un elemento dell'insiemeuniversochehalaproprietatindicata
Quantificatore universale cheaffermachelaproprietàindicate
e vera perognielementodell'insiemeuniverso
Esercizipagati