Formler og påstander

[okisou]

Hei, jeg lurte på om jeg kunne få litt hjelp med denne oppgaven:


Finn førsteordens formler som representerer følgende mengdeteoretiske påstander, og avgjør om de er gyldige eller ikke. Begrunn svaret ditt.

(a) A delmengde av B
(b) a (element) i (A ∩ (B ∪ C))


Det ville ha vært fint om jeg kunne få noen hint, for jeg sitter helt fast her. Takk på forhånd!

[Bakeren]

Kan a) bli noe sånt som:
A(x) - x finnes i mengde A
B(x) - x finnes i mengde B

[tex]\forall x (A(x) \rightarrow B(x)) [/tex]

Altså: For alle x, finnes x i mengde A hvis, og bare hvis, x finnes i mengde B.