Ścieżka 03 / Wyzwania dedukcyjne
Wyklucz niemożliwe
Dedukcja to nie silne przeczucie co do odpowiedzi. To krok, który wynika z warunków, na które możesz wskazać.
Ustal świat zagadki
Zanim narysujesz tabelę, określ obiekty i reguły, które je łączą. Jeśli trzy osoby wybierają po jednej aktywności, czy aktywności są różne? Czy każda osoba wybiera dokładnie jedną? Czy aktywność może pozostać nieużyta? Te szczegóły decydują, które wykluczenia są prawidłowe.
Znany format zagadki może kusić, by dodać reguły, których nigdy nie podano. Oprzyj się temu. „Każda osoba ma dokładnie jedną inną aktywność” tworzy przypisanie jeden do jednego. Bez słowa „inną” dwie osoby mogłyby mieć tę samą aktywność i wiele standardowych wniosków z tabeli przestałoby działać.
Poniższe małe wyzwanie podaje pełną regułę przypisania. Skandynawskie tło dostarcza tylko imion i klimatu. Do rozwiązania nie potrzeba wiedzy o lokalnych zwyczajach, geografii ani języku.
Kto wybrał spacer do portu?
Liv, Oskar i Sanna wybierają każde po dokładnie jednej aktywności: spacer po lesie, wizytę w muzeum albo spacer do portu. Każdą aktywność wybiera dokładnie jedna osoba.
- Liv nie wybiera wizyty w muzeum.
- Oskar nie wybiera ani spaceru po lesie, ani spaceru do portu.
- Sanna nie wybiera spaceru do portu.
Podpowiedź — zacznij od dwóch wykluczeń
Po zastosowaniu drugiej wskazówki Oskar ma tylko jedną możliwą aktywność. Gdy zostanie mu przypisana, nie będzie dostępna dla pozostałych.
Rozwiązanie — podążaj za pozostałymi wyborami
Oskar wybiera wizytę w muzeum. Sanna nie może wybrać muzeum, bo jest już przypisane, ani portu z powodu wskazówki 3. Sanna wybiera więc spacer po lesie. Zostaje spacer do portu dla Liv.
Sprawdź każdy wniosek
Są trzy dozwolone aktywności. Wskazówka 2 wyklucza dwie dla Oskara, więc Oskar musi wybrać muzeum.
Zasada jeden do jednego wyklucza muzeum zarówno dla Liv, jak i dla Sanny.
Wskazówka 3 wyklucza port dla Sanny. Skoro muzeum jest również wykluczone, Sanna musi wybrać las.
Las i muzeum są przypisane. Liv musi wybrać port.
Zwróć uwagę, że do wyprowadzenia przypisania nie była potrzebna wskazówka 1. Jest zgodna z wynikiem, ale przy pozostałych warunkach jest zbędna. Zbędna wskazówka nie musi być błędem: może pomóc początkującemu wejść w zagadkę albo posłużyć jako użyteczna kontrola. Nie należy jej jednak brać za istotny krok dowodu.
Sprawdź gotowe przypisanie względem każdej wskazówki, również zbędnej. Liv nie jest w muzeum; Oskar nie jest w żadnej z dwóch aktywności pieszych; Sanna nie jest w porcie. Wszystkie trzy aktywności zostały użyte dokładnie raz, więc globalna reguła przypisania też jest spełniona.
Możliwe to nie to samo, co konieczne
Przypisanie jest możliwe, jeśli spełnia wszystkie wskazówki. Fakt jest konieczny, jeśli zachodzi w każdym spełniającym przypisaniu. Znalezienie jednego poprawnego ułożenia dowodzi możliwości, a nie jednoznaczności. Aby twierdzić, że rozwiązanie jest jedyne, musisz wykluczyć każde inne ułożenie.
Usuń wskazówkę 3 z zadania. Oskar nadal wybiera muzeum, ale Liv i Sanna mogą zamienić się dwoma spacerami. Oba przydziały spełniają pozostałe wskazówki. Zdanie „Liv wybiera port” jest wtedy możliwe, ale nie jest już wymuszone.
| Przypadek | Liv | Oskar | Sanna |
|---|---|---|---|
| A | Port | Muzeum | Las |
| B | Las | Muzeum | Port |
To proste porównanie jest potężnym narzędziem diagnostycznym. Gdy utkniesz, zapytaj, czy brakuje ci jakiejś dedukcji, czy wskazówki rzeczywiście dopuszczają kilka wyników. Wskazanie dwóch poprawnych wyników to konstruktywny sposób pokazania niejednoznaczności.
Ostrożnie z „jeśli”
Zdanie warunkowe ma kierunek. „Jeśli Liv wybierze spacer do lasu, Oskar odwiedzi muzeum” nie oznacza samo przez się, że wizyta Oskara w muzeum zmusza Liv do wyboru lasu. Inne ułożenie może postawić Oskara w muzeum, a Liv wybierze coś innego.
Aby sprawdzić zdanie warunkowe, poszukaj jego przypadku zakazanego: pierwsza część jest prawdziwa, a druga fałszywa. To właśnie tę kombinację zdanie wyklucza. Odwrócenie zdania bez uzasadnienia dodaje nową regułę, której autor nie podał.
W większych łamigłówkach używaj tabeli i przypisuj numer wskazówki każdemu wykluczeniu. Oddzielaj tymczasowe założenia od ustalonych faktów. Jeśli założenie prowadzi do sprzeczności, cofnij jego konsekwencje, zanim spróbujesz innej gałęzi. Uporządkowany zapis chroni rozumowanie przed tym, by stare przypuszczenie przypadkiem stało się „faktem”.
Celem nie jest unikanie niepewności na każdym etapie. Chodzi o to, by wiedzieć, które stwierdzenia są pewne, które tymczasowe, a które obalone. To rozróżnienie sprawia, że nawet mała łamigłówka jest wartościowym ćwiczeniem precyzyjnego wyjaśniania.
Dalej: wybierz metodę z mniejszą liczbą założeń