Page 1 of 1

Predikatlogikk og mengdelære

Posted: 21/02-2010 16:27
by TheMighty
Jeg har to oppgaver, og hvis jeg forstår riktig så skal det kombineres predikatlogikk med symboler fra mengdelære i svaret her:

a) Vis hvordan vi kan uttrykke i predikatlogikk at det finnes et største element og et minste element bare ved å bruke predikater av formen C ⊆ D

b) Finn utsagn i predikatlogikk, hvor du kan bruke symbolene ⊂ og ⊆, som uttrykker
D = B ∪ C
E = B ∩ C

Jeg tror ikke svarene i begge oppgavene her skal være så veldig kompliserte, men det å finne svaret i seg selv her er litt vanskelig for meg å få frem. Noen som kan hjelpe med forslag?