Rozwiązywanie problemów logicznych to zabawne i satysfakcjonujące zajęcie. Jego osobliwością jest to, że początkowo istnieje tylko fałszywe i prawdziwe stwierdzenie, a nie formuły. Rozważmy kilka podstawowych metod rozwiązania, które mają swój własny obszar skuteczności.
Instrukcje
Krok 1
Metoda rozumowania – najprostsza – opiera się na rozumowaniu sekwencyjnym (wynikającym ze stanu problemu) i ich weryfikacji pod kątem prawdziwości lub fałszu, a wszystkie kolejne twierdzenia oparte są na zweryfikowanym oryginale.
Na przykład. Wiek matki i córki to łącznie 98 lat. Córka urodziła się, gdy moja mama miała 22 lata. Ile lat mają oba? Rozwiązanie: ponieważ różnica w ich wieku wynosi 22 lata (w tym wieku matka miała córkę), to 98 - 22 = 76 (lat). To dwa razy więcej niż córka, a następnie 76: 2 = 38 (lat). Oznacza to, że matki mają 98 - 38 = 60 (lat).
Krok 2
Metoda tabel jest metodą wizualną, która polega na budowaniu tabeli zgodnie z warunkami zadań tekstowych i sekwencyjnym wypełnianiu jej liczbami 0 lub 1, w zależności od uzyskanych wniosków (fałsz-prawda).
Na przykład. Jest 8 litrowe naczynie pełne wody.
Jak wylać 4 litry, jeśli są puste pojemniki o pojemności 3 i 5 litrów? Decyzja:
Krok 3
Metoda diagramów blokowych ma zastosowanie do rozwiązywania problemów dotyczących pojemników i wag i jest znacznie wygodniejsza niż metoda wyliczania opcji (która nie pozwala nam wyprowadzić ogólnych zasad). Najpierw tworzone są polecenia (identyczne z wykonywanymi operacjami), a następnie budowana jest ich schematyczna sekwencja. Jest to dobrze znany schemat blokowy w programowaniu prowadzący do rozwiązania problemu. Logiczną kontynuacją tej metody jest metoda rozwiązań wspomaganych komputerowo. Istota, w przeniesieniu otrzymanego algorytmu do języka programowania.
Krok 4
Metoda rozwiązywania algebraicznego polega na rozwiązywaniu układów równań logicznych. Wszystkim stwierdzeniom wynikającym ze stanu problemu przypisuje się oznaczenia literowe i zapisuje w postaci formuł. Rozwiązując układ otrzymanych równań (mnożąc jedno przez drugie), wyprowadza się prawdziwe stwierdzenie.
Krok 5
Możliwy jest również graficzny sposób rozwiązania systemu. W tym celu na podstawie uzyskanych równań układu rysowany jest diagram zależności logicznych („drzewo warunków logicznych”). Co więcej, suma logiczna implikuje rozgałęzienie, a iloczyn oznacza następujące po sobie warunki. Decyzja pochodzi z analizy. Obejmuje to również metodę okręgów Eulera - budowę schematu geometrycznego, który odzwierciedla przecięcie lub połączenie zbiorów.
Krok 6
Nie mniej interesująca jest metoda bilardowa oparta na teorii trajektorii.
Jednak do jej szczegółowego rozważenia potrzebny będzie osobny, bardzo zabawny artykuł.
