Som besökare på Hamsterpaj samtycker du till användandet av s.k. cookies för att förbättra din upplevelse hos oss. Jag förstår, ta bort denna ruta!
Annons

Satslogik

Skapad av harddrive, 2011-04-26 01:16 i Webbutveckling & Programmering

1 741
4 inlägg
0 poäng
harddrive
Visningsbild
P 32 Vara Hjälte 2 779 inlägg
2011-04-26 01:16
0
P: Det är soligt
Q: Jag dricker läsk


4 möjliga utfall av Sant och falskt

PQ P→Q
______
SS S
SF F
FS S (VARFÖR DÅ?)
FF S (VARFÖR DÅ?)

Implikationen "Om det är soligt så dricker jag läsk" blir P→Q.


Om vi kollar på första utfallet "Sant Sant" så blir P→Q "Sant"
Om vi kollar på andra utfallet "Sant Falskt" så blir P→Q "Falskt"
Om vi kollar på tredje utfallet "Falskt Sant" så blir P→Q "Sant"
Om vi kollar på sista utfallet "Falskt Falskt så blir P→Q "Sant"

Jag förstår första utfallet då Det ärsoligt = Sant och Jag dricker läsk = sant. Andra utfallet kan jag också förstå, om det är soligt men jag dricker inte läsk så blir påståendet "Om det är soligt så dricker jag läsk" falskt eftersom jag inte dricker läsk i det fallet.

Jag har däremot problem med att förstå 3'e och 4'e utfallet.. någon som kan förklara varför det blir Sant och Sant?

Ingen status

Direktlänk Svara på inlägg Gästbok
Skicka

Är reklamen ivägen? Logga in eller registrera dig så försvinner den!

gaminggirl
Visningsbild
F 38 Lund Hjälte 8 084 inlägg
2011-04-26 11:57
0

Svar till harddrive [Gå till post]:
Tredje blir sant eftersom inget i dina påståenden säger att du inte kan dricka läsk när det regnar. Den sista blir sann för att det inte är soligt och du inte dricker läsk vilket också stämmer väl med ditt påstående.

Ingen status

Direktlänk Svara på inlägg Gästbok
Skicka
cower
Visningsbild
P 44 Lund Hjälte 1 042 inlägg
2011-04-27 23:56
0
Svar till harddrive [Gå till post]:
A -> B innebär att "B är alltid sant när A är sant". Det din tabell säger är ifall de givna värdena för P & Q kan vara sådana givet att P->Q.

Poängen med alltihop är för att kunna lägga upp logiska bevis.

Exempel: "Jag äter alltid glass när det är varmt. Jag äter aldrig glass när det regnar. Just nu äter jag glass."
dvs: varmt -> glass, regnar -> !glass, glass (jag minns inte symbolen för "icke", så jag använder en ! för det, som i C)
Det ger: varmt -> !regnar, regnar -> !varmt, glass -> !regnar, !regnar
dvs: "Det kan inte vara varmt och regna samtidigt, och just nu regnar det inte (eftersom jag äter glass)."

Direktlänk Svara på inlägg Gästbok
Skicka
harddrive
Visningsbild
P 32 Vara Hjälte 2 779 inlägg
Trådskapare
2011-04-28 00:23
0

Svar till gaminggirl [Gå till post]:
Tack!


Svar till cower [Gå till post]:
Tack :)

Ingen status

Direktlänk Svara på inlägg Gästbok
Skicka

Forum » Datorer & IT » Webbutveckling & Programmering » Satslogik

Ansvariga ordningsvakter:

Användare som läser i den här tråden just nu

1 utloggad

Skriv ett nytt inlägg

Hej! Innan du skriver om ett potentiellt problem så vill vi påminna dig om att du faktiskt inte är ensam. Du är inte onormal och världen kommer inte att gå under, vi lovar! Så slappna av och gilla livet i några minuter - känns det fortfarande hemskt? Skriv gärna ner dina tankar och frågor, vi älskar att hjälpa just dig!

Den här tråden är äldre än Rojks drömtjej!

Det senaste inlägget i den här tråden skrevs för över tre månader sedan. Är du säker på att du vill återuppliva diskussionen? Har du något vettigt att tillföra eller passar din fråga i en ny tråd? Onödiga återupplivningar kommer att låsas så tänk efter en extra gång!

Rubrik

Inlägg

Fet Kursiv Spoiler Bild Film Kod Undersökning

Förhandsgranska Spara

Hjälp

Det här är en hjälpruta

Här får du korta tips och förklaringar om forumet. Välj kapitel i rullningslisten här ovanför.

Rutan uppdateras automagiskt

När du använder funktioner i forumet så visas bra tips här.


Annons
Annons
Annons
Annons