logikeren02

Hei. Har vel tenkt å bruke printwriter for å lagre de i en tekstfil. Ikke noe særlig mer komplisert enn det. Det å få lest inn filen igjen bør ikke by på store problemer.

Jeg sliter veldig med hva slags metoder jeg skal legge i de forskjellige klassene. Jeg klarer liksom ikke å se det helt for meg =(

Hei!

La oss si at jeg skulle ønske å lage meg et slags 'vennenettverk' med oversikt over hvem som eier bøker, hvem som låner PS4-spill av hverandre og 'slikt' - hvordan burde jeg da gå frem.

Sett at jeg starter med tre classes - Hoved(av mangel på bedre navn), Personer og Spill vil jeg anta at jeg har et greit utgangspunkt. Jeg har mer eller mindre bestemt meg for at personene skal lagres i en arraylist, mens jeg "vil" bruke HashMap på PS4-spillene.

Jeg ønsker å ha en form for meny i Hoved.java-filen, hvor brukeren kan legge til personer, legge til kjøpte bøker, sette inn hvem som eventuelt låner ei bok, en oversikt over hvem som eier hva, og eventuelt hvem som låner hvilket spill.

Jeg antar at det skal en god del metoder inn i classene, spesielt da spill.java og personer.java. Det vil kanskje være logisk å ha en getPersoner og setPersoner? I tillegg til getSpill og setSpill?

Meningen er ikke at dette skal bli noen store greier, men bare en liten oversikt jeg/vi kan bruke slik at spillene ikke blir borte.

All hjelp settes stoooooooor pris på!

Vis at formlene er gyldige:

a) Pa ˅ Pb → ∃xPx

b) ∀xPx → Pa ˄ Pb

For hver av følgende formler, gi en modell som gjør formelen sann. La domenet være {1, 2}. Det er tilstrekkelig å gi tolkningen av relasjonssymbolene R.

a) ∀x∀yRxy

b) x∃yRxy ˄ ¬∃xRxx

c) ∃x∃y(Rxy ˄ ¬Ryx) ˄ ∀xRxx

Hei!

Jeg har kommet over noen oppgaver jeg ikke helt forstår hvordan jeg skal løse. Jeg antar at det har noe med domene å gjøre. Kapittelet oppgavene er fra heter tolkning i modeller, og det er jo førsteordens logikk såvidt jeg forstår.

Alle hjelp tas imot med stoooooor takk!

Oppgaven er som følger: Første quote er oppgaveteksten, andre er hvordan svaret skal formuleres i svaret.

La f være en funksjon på bitstrenger definert rekursivt på følgende måte:

- f(0) = 1 og f(1) = 0 /// f(bo) = f(b)1, hvor b er en bitstreng./// f(b1) = f(b)0, hvor b er en bitstreng.

 

Følgende er et induksjonsbevis for at f(f(b)) = b for alle bitstrenger b. Finn ut hva som skal stå i boksene.

 

Basissteget:

 

Det er at 1____ holder for b = 0, og b = 1.

Ved å sette inn 0 for b, får vi f(f(0)) = 0.

 

Følgende utregning viser at dette er sant.

f(f(0)) = f(1) ved punkt (1) i definisjonen av f
= 0 ved punkt (1) i definisjonen av f

Ved å sette inn 1 for b, får vi f(f(1)) = 1. Følgende utregning viser at dette er sant.

f(f(1)) = f(0) ved punkt (1) i definisjonen av f
= 1 ved punkt (1) i definisjonen av f

 

2______steget:

 

Anta at påstanden holder for en bitstreng b, det vil si at f(f(b)) = b.

Dette er 3___________, og vi må fra denne vise at 4____________ holder for en bitstreng bx, det vil si at f(f(bx)) = 5_____, hvor x enten er 0 eller 1.

Vi får to tilfeller, ett for x = 0 og ett for x = 1.

 

Hvis x = 0, får vi følgende.

f(f(b0)) = f(f(b)1) ved 6________ i definisjonen av f
= f(f(b))0 ved punkt (3) i definisjonen av f
= b0 ved induksjonshypotesen

 

Hvis x = 1, får vi følgende.

f(f(b1)) = f(7_______) ved 8________ i definisjonen av f
= f(f(b))1 ved punkt (2) i definisjonen av f
= b1 ved induksjonshypotesen

Ved 9_______ følger det at 10________ for alle bitstrenger b.

 

Beklager at det ser rotete ut. Håper på litt god hjelp her, da jeg rett og slett ikke vet hva jeg skal skrive på de 10 tomme feltene...