Predikatlogikk og mengdelære
Posted: 21/02-2010 16:27
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?
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?