Professional Documents
Culture Documents
Insiemi e logica
L. Pandolfi
Questi esercizi sono per chi ha una preparazione
matematica pi`
u forte.
Ricordiamo le notazioni seguenti
indicato anche come AC oppure CA , complementare di A, `e linsieme
A,
degli elementi che non appartengono ad A.
(d) a A = a
/B
2. Si consideri la proposizione P: A B C. La sua negazione P `e:
(a) c C = c A B
(b) c C = c A ma c
/B
(c) c C = c
/ A oppure c
/B
(d) c C = c
/ A ec B
3. Si consideri limplicazione a < 0 b > 0 = ab > 0. La sua negazione
`e:
(a) a < 0 b > 0 | ab < 0
(b) a < 0 b > 0 | ab < 0
(c) a < 0 b > 0 = ab < 0
(d) a > 0 b < 0 = ab < 0
4. Si consideri il predicato seguente: P(x)= il numero x `e positivo. La
scrittura x Z P(x) significa che
(a) ogni numero intero `e positivo
(b) esistono numeri interi che sono positivi
(c) `e possibile verificare se un numero intero `e positivo o meno
(d) dobbiamo limitarci a considerare i soli numeri interi
5. La scrittura
x A4B :
P(x)
P(x)
(a) ogni x appartiene ad almeno uno degli insiemi A B, A oppure B
(b) x AB = P
(c) la negazione non pu`o farsi
(d) x A B | P
7. Tra le proposizioni seguenti, espresse a parole, indicare quella che corrisponde alla negazione del predicato seguente x Z n N | n >
x.
(a) ogni naturale `e un intero
(b) linsieme dei naturali `e limitato superiormente
(c) linsieme dei numeri interi `e illimitato
(d) linsieme dei numeri interi `e limitato superiormente.
8. Si consideri il predicato seguente x Z n N | n > x. La sua
negazione `e:
(a) x Z | n N = n > x
(b) x Z | n N = n < x
(c) x Z n N = n < x
(d) x Z n N | n < x
9. Consideriamo lespressione P(x, y) che si enuncia x y `e divisibile per
3. Allora vale:
(a) non `e una relazione
(b) `e una relazione, ma non una relazione di equivalenza
(c) `e una relazione di equivalenza
(d) nessuna delle proposte `e corretta