Deduksjon

Stryk det som ikke kan være sant

Deduksjon belønner tålmodighet fremfor genialitet. Hver ledetråd fjerner noe; din jobb er å føre nøye oversikt over hva som er borte.

Utfordring · Tre seter

Hvem sitter hvor, og drikker hva?

Vanskelighetsgrad: moderat. Én rekkefølgeledetråd og én posisjonsledetråd kombineres for å låse opp alt.

Ines, Kofi og Lena sitter på rad på tre seter — venstre, midten og høyre, sett forfra. Hver drikker en av te, kaffe eller vann.

Regler

En person per sete, én drikke per person, og hver drikke brukes én gang. «Umiddelbart til høyre» betyr neste sete til høyre.

  1. Kofi sitter umiddelbart til høyre for den som drikker te.
  2. Lena sitter ikke i midtsetet.
  3. Den som drikker kaffe, sitter helt til venstre.
  4. Ines drikker ikke vann.
Vis de trinnvise elimineringsstegene
  1. Ledetråd 1: den som drikker te, har noen til høyre, så te er ikke til høyre. Kofi har noen til venstre, så Kofi er ikke til venstre.
  2. Ledetråd 3: kaffe er til venstre, så te er ikke til venstre. Te må være i midten.
  3. Tilbake til ledetråd 1: Kofi sitter umiddelbart til høyre for midtsetet, så Kofi er til høyre.
  4. Ledetråd 2: Lena er ikke i midten, og høyre er opptatt, så Lena er til venstre. Ines tar midten.
  5. Drikke etter sete: Lena (venstre) har kaffe, Ines (midten) har te, så Kofi har vann.
  6. Sjekk ledetråd 4: Ines drikker te, ikke vann. Svaret stemmer med alle ledetrådene.
Løsning
SetePersonDrikke
VenstreLenaKaffe
MidtenInesTe
HøyreKofiVann

Ledetråd 4 viser seg å være en bekreftelse snarere enn en nøkkel. Oppgavelagere tar noen ganger med slike ledetråder. At du merker at en ledetråd ikke var nødvendig, er et godt tegn på at resonnementet ditt var stramt.

Fotografi med liten dybdeskarphet av en notatbokside dekket med blyantkryss ved siden av taktile trepuslebrikker
Kryss i margen, brikker på bordet: deduksjon etterlater et synlig spor.

Logikkrutenettet forklart

Logikkrutenettoppgaver ble berømte gjennom den såkalte Sebra-oppgaven, publisert i Life International i 1962 og ofte, uten belegg, tilskrevet Albert Einstein. De fem husene og de mange ledetrådene gir en lang treningsøkt, men metoden er den samme som i vår utfordring med tre seter. Arthur Conan Doyle ga tilnærmingen sitt mest kjente motto i The Sign of the Four (1890): eliminer det umulige, og det som gjenstår, må være sannheten.

Lag rutenettet

Tegn en tabell for hvert par av kategorier: personer mot seter, personer mot drikke, seter mot drikke. Hver celle representerer én mulig kobling. Et kryss betyr «umulig», og en sirkel betyr «sikkert».

Merk de direkte ledetrådene først

Ledetråder som «Lena sitter ikke i midten» setter umiddelbart ett kryss. Gjør disse før du går løs på relasjonsledetrådene; de krymper problemet uten risiko.

Spred hver sirkel

Når du setter en sirkel, strek over alle andre celler i samme rad og kolonne i den tabellen. Kopier deretter informasjonen over til de andre tabellene. Å glemme å spre er den vanligste grunnen til at folk står fast når svaret egentlig er innen rekkevidde.

Håndter rekkefølgeledetråder med omhu

«Umiddelbart til høyre for» forteller deg to ting: personen til venstre kan ikke være på høyre ende, og personen til høyre kan ikke være på venstre ende. Skriv begge konsekvensene ned før du kombinerer ledetråden med noe annet, akkurat som i trinn 1 over.

Hvert kryss er en liten, varig seier. Samler du nok av dem, har svaret ingen steder igjen å gjemme seg.

Når du later til å stå fast

Les hver ledetråd på nytt og spør hva den utelukker, ikke hva den antyder. Sjekk om noen rad bare har én tom celle. Se etter to ledetråder som nevner samme person eller ting; kombinerte ledetråder avslører ofte det ingen av dem viser alene. Som siste utvei kan du prøve et nøyaktig «hva om»: anta ett alternativ, følg det til det enten går opp eller strider mot en ledetråd, og hvis det strider, stryk alternativet. Dette er fortsatt deduksjon, så lenge du tester grundig i stedet for å stoppe ved første behagelige resultat.

Raymond Smullyans oppgavebøker og Martin Gardners langvarige spalte «Mathematical Games» i Scientific American er utmerkede steder å se hvor variert denne typen resonnement kan være.

  • Ordlogikk

    Utsagn fra sannsigere bruker den samme metoden med å teste tilfeller.

    Les formuleringen
  • Dagens utfordring

    Bruk metoden på den fremhevede oppgaven med tre personer.

    Prøv den nå