Połącz bloki reguł wnioskowania w graf sprawdzający, przekazując przesłanki przez reguły, aż węzeł celu zaświeci się na zielono.
Jak grać
Plansza zaczyna się od bloków założeń i celu. Wybierz regułę wnioskowania z palety, a następnie kliknij potrzebne bloki wejściowe; jeśli pasują, reguła wyprowadza nowy blok podłączony do jego wejść. Łańcuch zasad, aż dojdziesz do celu. Aby udowodnić implikację, należy dodać założenie i zakończyć je wprowadzeniem do implikacji.
Wybierz regułę taką jak modus ponens, i-wprowadzenie lub i-eliminacja
Kliknij bloki wejściowe, aby wyprowadzić nową propozycję
Dodaj założenie, aby udowodnić implikację, a następnie zastosuj wprowadzenie do implikacji
Rozświetl bramkę w jak najmniejszej liczbie zasad, aby pokonać par
Tryby gry
Codziennie: stała łamigłówka udostępniana każdego dnia
Przećwicz: świeże, losowe łamigłówki
Sterowanie
Pulpit: kliknij regułę, a następnie kliknij bloki wejściowe na obszarze roboczym; Dostępne są opcje Cofnij, Anuluj regułę, Wyczyść tablicę i Nowy
Telefon i tablet: dotknij reguły i dotknij bloków, aby je połączyć (tylko mysz lub dotyk)
Wskazówki i strategia
Cofnij się od celu, aby zobaczyć, która reguła go generuje, a następnie uzyskaj dane wejściowe tej reguły
Jeżeli celem jest implikacja, należy wcześnie przyjąć jej poprzednik i starać się wyprowadzić następstwo przed wykonaniem zadania
Czego się dowiesz
Wirelogic opiera się na naturalnej dedukcji, zamieniając formalne zasady dowodu w łamigłówkę okablowania.
Umiejętności: dedukcja naturalna, logika formalna, reguły dowodowe
Najlepsze dla: zaawansowanej szkoły średniej/studia
Dla rodziców i nauczycieli: dedukcja naturalna, dowód formalny.
O Wirelogicu
Wirelogic to oryginalna, bezpłatna gra logiczna na przeglądarkę, zbudowana na naturalnej dedukcji, zamieniająca formalne reguły dowodu w możliwe do okablowania bloki, dzięki czemu struktura prawidłowego argumentu staje się czymś, co można zobaczyć i zbudować.
