Professional Documents
Culture Documents
01-Logica Excs 2013
01-Logica Excs 2013
ogica. Grup A1
Curs 20132014
1. Exercicis sobre relacions i funcions
1.1. Si U es lunivers del discurs que hem fixat per a certa aplicacio, lunivers
apropiat per discutir els parells ordenats delements de U es, naturalment, U U .
Per tant, si A i B s
on subconjunts de U , el complement del producte cartesi`a A B
ho es respecte a U U , o sigui,
A B = (U U ) (A B).
De les cinc igualtats seg
uents, quines son vertaderes per a tot parell A i B de
subconjunts de U ? Justifiqui la resposta.
(1)
(2)
(3)
(4)
(5)
AB
AB
AB
U U
U U
= A B.
= (A U ) (U B).
= (A B) (A B) (A B).
= (A B) (A B).
= (A B) (A B) (A B) (A B).
= NN
1.2. Trobi una relaci
o en el conjunt N dels nombres naturals tal que R|R
i R R = {h0, 0i}.
1.3. Trobi una relaci
o R tal que R|R 6= , per`o R|R|R = .
1.4. Trobi dues relacions distintes R i S tales que R|S = S|R.
R reflexiva en N?, irrefle1.5. Consideri la relaci
o R = N {0} en el conjunt N. Es
una funcio? Descrigui
xiva?, sim`etrica?, asim`etrica?, antisim`etrica?, transitiva? Es
i R|R.