1 Elementi di logica e insiemistica

1.1 Relazioni
Esercizio 1.1. Di seguito sono descritte alcune relazioni. Stabilire se sono
riflessive, irriflessive, simmetriche, antisimmetriche, transitive.
• R relazione su {a, b, c}, bRa, bRb, bRc, cRa, cRb, cRc;
• R relazione su {a, b, c, d, e, f }, aRa, aRb, aRe, aRf , bRb, bRe, bRf , cRa,
cRb, cRc, dRb, dRc, dRd, dRe, dRf , eRc, eRe, eRf , f Rc, f Rf ;

• R relazione su {a, b, c, d, e, f }, aRa, aRc, aRf , bRa, bRc, bRd, bRf , cRf ,
dRa, dRc, dRf , eRa, eRb, eRc, eRd, eRe, eRf ;
• R relazione su {a, b, c}, aRb, bRc, cRb;
• R relazione su {a, b, c, d}, aRa, aRb, aRc, bRa, bRb, bRc, cRa, cRb, cRc,
dRd;
• R relazione su {a, b, c}, aRa, aRb, bRb, bRc, cRb, cRc.
Esercizio 1.2. Se A = {0, 1, 2} e considera la seguente relazione su A: aRb
se e soltanto se a 6= b. Stabilire se R è riflessiva, irriflessiva, simmetrica,
antisimmetrica, transitiva.

Esercizio 1.3. Disegnare tutti i grafi possibili su {a, b, c}.

Esercizio 1.4. Un grafo su X si dice completo se tutti i suoi vertici sono
collegati fra loro, ovvero ∀x, y ∈ X xRy. Disegnare dei grafi completi con |X| =
2, |X| = 3 e |X| = 4.

Esercizio 1.5. Su Facebook, Gianni è amico di Davide e Alessia, Davide e

Alessia sono amici fra di loro, e sono entrambi amici di Francesca. Inoltre,
Jessica è amica di Gianni. Modellare la situazione con un grafo.
Esercizio 1.6. Cercare su Wikipedia (in inglese) le seguenti pagine: “Giacomo
Balla”, “Mario Sironi”, “Tehran Museum of Contemporary Art”, “Pablo Pi-
casso”, “Francis Bacon (artist)”, e disegnare il grafo diretto in cui una pagina
è in relazione all’altra se la prima linka la seconda.
Esercizio 1.7. Questa è la situazione attuale (inventata):
• Nel corso “Scienze e Tecnologie Multimediali sono iscritti 130 studenti al
primo anno, 90 al secondo anno e 80 al terzo.
• Al primo anno sono obbligatori “Matematica e Statistica” e “Sociologia
della comunicazione e della cultura”, mentre 70 studenti hanno scelto
l’insegnamento “Tecniche e linguaggi del cinema”, sempre del primo anno.

1
 • Tutti gli studenti del secondo anno hanno passato Sociologia e Tecniche,
ma 30 non hanno passato “Matematica e Statistica”, e lo devono rifare
quest’anno. Un esame obbligatorio del secondo anno è “Laboratorio di
montaggio digitale”.
• Tutti gli studenti del terzo anno hanno passato gli esami del primo an-
no, ma ancora 10 non hanno passato l’esame di Laboratorio. Un esame
obbligatorio del terzo anno è “Creative Computing”.
Descrivere questa situazione con un grafo pesato: due esami sono collegati se
hanno studenti in comune, e il peso indica quanti.

Esercizio 1.8. Quali di queste relazioni sono d’equivalenza?

• R su {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, riflessiva, 0R1, 1R0, 3R4, 4R3, 5R6, 6R5;
• R su {1, 2, 3, 4, 5, 6}, riflessiva, 1R6, 2R1, 2R4, 2R6, 3R4, 3R5;
• R su {0, 1, 2, 3, 4}, ∀x, y ∈ {0, 1, 2, 3, 4} xRy;

• R su {0}, 0R0;
• R su N, dove nRm se e soltanto se m − n ∈ N;
• R su N, dove nRm se e soltanto se hanno lo stesso numero di cifre.
Esercizio 1.9. Sia R la relazione su N tale che xRy se e soltanto se x è
multiplo di y oppure y è multiplo di x. Fare qualche esempio di coppie che sono
in relazione e coppie che non lo sono. La relazione R è riflessiva, simmetrica,
antisimmetrica, transitiva? È una relazione d’equivalenza? Determina l’insieme
{y ∈ N : 1Ry} e l’insieme {y ∈ N : 2Ry}.
Esercizio 1.10. Considera la seguente relazione d’equivalenza E sull’insieme
A delle terne (a1 ; a2 ; a3 ) di numeri naturali

(a1 , a2 , a3 )E(b1 , b2 , b3 ) se e soltanto se a2 = b2 .

1. Determinare due elementi che sono in relazione con (0, 0, 0) e due elementi
che non lo sono;

2. Descrivere l’insieme degli elementi che sono in relazione con (0, 0, 0);
3. Descrivere l’insieme degli elementi che sono in relazione con (0, 1, 0);
4. Dato n ∈ N, descrivere l’insieme degli elementi che sono in relazione con
(0, n, 0);

5. Stabilire quali fra questi insiemi hanno elementi tutti in relazione fra loro:
(a) {(0, n, m) : n, m ∈ N};
(b) {(0, 0, n) : n ∈ N};

2
 (c) {(0, n, 0) : n ∈ N};
(d) {(0, n, 1) : n ∈ N},
Esercizio 1.11. Quali di queste relazioni sono ordini?
• R definita su {0, 1, 2}, 0R0, 0R1, 0R2, 1R1, 2R0, 2R2;

• R definita su {0}, 0R0;

• R definita su {0, 1, 2}, 0R0, 1R1, 2R2, 1R2;
• R definita su {1, 2, 3, 4, 5, 6, 7}, riflessiva, 1R2, 1R3, 1R4, 1R5, 1R6, 1R7,
4R5, 4R6, 4R7, 2R6, 5R6, 5R7

Esercizio 1.12. Sia R una relazione d’ordine non simmetrica. Vero o falso?
• ∀a, b(aRb ⇒ ¬(bRa));
• ∃a, b(aRb ∧ ¬(bRa));

Esercizio 1.13. Dire se l’ordine è totale:

• R su {0, 1}, 0R1;
• R su {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, ordine, 1R2, 1R3, 2R5, 2R6, 2R9, 3R7,
4R8, 5R8, 5R0, 6R0, 7R9, 9R0;

• R su {1, 2, 3, 4, 5, 6, 7, 8, 9}, ordine, 1R3, 1R4, 1R8, 2R5, 2R6, 2R7, 3R6,
4R7, 4R9, 5R8, 5R9, 6R9;
• R su {1, 2, 3, 4, 5, 6, 7, 8, 9}, ordine, 1R2, 1R3, 1R4, 2R5, 3R5, 4R7, 4R8,
5R7, 7R8, 7R9;
• divisibilità su N+ = {n ∈ N : n > 0};

• ≤ sull’insieme dei numeri primi.

Esercizio 1.14. Sia R la relazione su N tale che nRm se e soltanto se divi-
dendoli (divisione con resto) per 10 hanno resto diverso ma quoziente uguale.
È una relazione d’ordine? È totale?

Esercizio 1.15. Sia R la relazione sull’insieme delle parole nel dizionario, tale
che aRb se e soltanto se a è una parola che viene prima nel dizionario di b. È
una relazione d’ordine? È totale?
Esercizio 1.16. Sia R la relazione su N tale che nRm se e soltanto se n ≥ m;
è una relazione d’ordine? È totale?

Esercizio 1.17. Calcolare massimo e minimo di questi insiemi ordinati, quando

esistono:
• R ordine su N, nRm se e soltanto se n ≥ m;

3
• ⊆ ordine su P(N);
• R ordine su {1, 2, 3, 4, 5, 6}, 1R3, 1R4, 1R5, 1R6, 2R6;
• R ordine su {1, 2, 3, 4, 5, 6, 7, 8}, 1R2, 1R3, 2R4, 2R5, 2R6, 3R6, 4R8,
5R7, 6R8, 7R8;

• R ordine su {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, 1R2, 2R3, 2R4, 2R5, 3R8, 4R6,

4R7, 5R9, 6R8, 7R9, 7R10;
• divisibilità su N+ = {n ∈ N : n > 0};
• divisibilità su N.