[Citat] Sa se descrie intersectia multimilor folosind operatii cu preicat.
(a)
A = { 2n+1 | n apartine lui N } si
B = { 4n | n apartine lui N }
(b)
A = { 3n | n apartine lui N }
si
B = { 4n | n apartine lui N } |
(a) Intersectia este multimea vida.
(A contine doar numere impare, B doar numere (printe cele) pare.)
Este stupid sa incepem sa scriem predicate pentru a descrie multimea vida.
(b) Intersectia I contine exact numerele naturale divizibile atat cu 3, cat si cu 4, deci exact numerele numerele naturale divizibile cu 12.
Probabil ca la catedra se poate da o definitie exacta a predicatului care sa constate daca
I = { n in N | n divizibil cu 12 }
este sau nu un predicat. (Sau daca "se foloseste" de un predicat.)
Astfel de probleme m-au terminat, ele departeaza oamenii de matematica si ii apropie de birocratica, am rezistat pentru ca mai erau si alte parti de constructie.