Predikatlogikk og mengdelære

Her kan du stille spørsmål vedrørende problemer og oppgaver i matematikk på høyskolenivå. Alle som har kunnskapen er velkommen med et svar. Men, ikke forvent at admin i matematikk.net er spesielt aktive her.

Moderators: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa

Post Reply
TheMighty
Fibonacci
Fibonacci
Posts: 4
Joined: 01/11-2009 14:31

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?
Post Reply