Rješavanje logičkih problema zabavna je i korisna aktivnost. Njegova je posebnost u tome što u početku postoji samo lažna i istinita izjava, a ne formula. Razmotrimo nekoliko osnovnih metoda rješenja koje imaju svoje područje učinkovitosti.
Instrukcije
Korak 1
Način zaključivanja - najjednostavniji - temelji se na uzastopnom obrazloženju (koje proizlazi iz stanja problema) i njihovoj provjeri istinitosti ili neistine, a sve naredne izjave temelje se na provjerenom izvorniku.
Na primjer. Starost majke i kćeri je ukupno 98 godina. Kći je rođena kada su moja majka imale 22 godine. Koliko su stara oba? Rješenje: budući da je razlika u njihovoj dobi 22 godine (u toj dobi je majka imala kćer), tada je 98 - 22 = 76 (godina). To je dvostruko više od starosti kćeri, pa je 76: 2 = 38 (godina). To znači da su majke 98 - 38 = 60 (godina).
Korak 2
Metoda tabela je vizuelna metoda koja podrazumijeva izgradnju tablice prema uvjetima zadataka riječi i njezino popunjavanje brojevima 0 ili 1, ovisno o zaključcima (lažno-istinito).
Na primjer. Postoji posuda od 8 litara puna vode.
Kako izliti 4 litre ako postoje prazne posude zapremine 3 i 5 litara? Odluka:
Korak 3
Metoda blok dijagrama primjenjiva je za rješavanje problema oko kontejnera i težina i mnogo je prikladnija od metode nabrajanja opcija (koja nam ne dopušta izvođenje općih pravila). Prvo se formiraju naredbe (identične izvedenim operacijama), a zatim se gradi njihov shematski niz. Ovo je dobro poznata shema toka u programiranju koja vodi do rješenja problema. Logičan nastavak ove metode je metoda računalno potpomognutog rješenja. Suština toga, u prenosu dobijenog algoritma u programski jezik.
Korak 4
Metoda algebarskog rješenja uključuje rješavanje sistema logičkih jednadžbi. Svim iskazima koji proizlaze iz stanja problema dodijeljene su slovne oznake i napisane u obliku formula. Rješavanjem sistema dobivenih jednadžbi (množenjem jedne s drugom) izvodi se istinita tvrdnja.
Korak 5
Moguć je i grafički način rješavanja sistema. Za to se na osnovu dobivenih jednadžbi sistema crta dijagram logičkih odnosa ("stablo logičkih uvjeta"). Štoviše, logična suma podrazumijeva grananje, a proizvod podrazumijeva sljedeće uvjete jedan za drugim. Odluka dolazi iz analize. To također uključuje metodu Eulerovih krugova - konstrukciju geometrijske sheme koja odražava presjek ili uniju skupova.
Korak 6
Ne manje zanimljiva je biljarska metoda zasnovana na teoriji putanja.
Međutim, za njegovo detaljno razmatranje bit će potreban zaseban, vrlo zabavan članak.
