enkel oppgv diskret matte

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
Guest

Har begynt med diskret matte og lurer på denne her.

p: it is below freezing
q: it is snowing

hvis man skal uttrykke: "either it is below freezing or it is snowing, but it is not snowing if it is below freezing"

blir det ikke da: $(p \oplus q)\wedge(p \rightarrow \neg q)$

når det står "either, or" blir jeg fristet til å bruke XOR

boken sier $(p \vee q)\wedge(p \rightarrow \neg q)$

gidder noen forklare? :D
Aleks855
Rasch
Rasch
Posts: 6874
Joined: 19/03-2011 15:19
Location: Trondheim
Contact:

Nå står det at it is not snowing if it is below freezing, så vi har $p \rightarrow \neg q$.

Men det står ikke noe om at $q\rightarrow\neg p$, altså at it is not below freezing if it is snowing.

Så de er ikke gjensidig eksklusive. Bare den ene veien.

Dermed blir XOR feil.

Men dersom vi hadde hatt $p \rightarrow \neg q$ og $q \rightarrow \neg p$ så ville $p\oplus q$ vært riktig.

Men merk at dersom $p\oplus q$ så ville $p \rightarrow \neg q$ etterpå vært overflødig. Det ville vært innebygd i XORen.
Image
Post Reply