Rezolvarea problemelor logice este o activitate distractivă și plină de satisfacții. Particularitatea sa este că inițial există doar o afirmație falsă și adevărată și nu există formule. Să luăm în considerare mai multe metode de bază de soluție, care au propria lor zonă de eficiență.
Instrucțiuni
Pasul 1
Metoda raționamentului - cea mai simplă - se bazează pe raționamentul secvențial (care rezultă din starea problemei) și verificarea lor pentru adevăr sau falsitate, iar toate afirmațiile ulterioare se bazează pe originalul verificat.
De exemplu. Vârsta mamei și fiicei este de 98 de ani în total. Fiica sa născut când mama mea avea 22 de ani. Câți ani au amândoi? Soluție: deoarece diferența de vârstă a acestora este de 22 de ani (la această vârstă mama avea o fiică), atunci 98 - 22 = 76 (ani). Aceasta este de două ori vârsta fiicei, apoi 76: 2 = 38 (ani). Aceasta înseamnă că mamele au 98 - 38 = 60 (ani).
Pasul 2
Metoda tabelelor este o metodă vizuală care presupune construirea unui tabel în funcție de condițiile problemelor de cuvinte și completarea secvențială cu numerele 0 sau 1, în funcție de concluziile obținute (fals-adevărat).
De exemplu. Există un vas de 8 litri plin cu apă.
Cum se toarnă 4 litri dacă există recipiente goale cu un volum de 3 și 5 litri? Decizie:
Pasul 3
Metoda diagramelor bloc este aplicabilă rezolvării problemelor legate de containere și greutăți și este mult mai convenabilă decât metoda de enumerare a opțiunilor (care nu ne permite să derivăm reguli generale). În primul rând, se formează comenzi (identice cu operațiile efectuate), apoi se construiește succesiunea lor schematică. Aceasta este organigrama binecunoscută în programare care duce la soluționarea problemei. Continuarea logică a acestei metode este metoda soluției asistate de computer. Esența căreia, în transferul algoritmului obținut în limbajul de programare.
Pasul 4
Metoda soluției algebrice implică rezolvarea sistemelor de ecuații logice. Toate declarațiile care decurg din starea problemei sunt desemnate cu denumiri de litere și scrise sub formă de formule. Rezolvând sistemul ecuațiilor obținute (înmulțind una cu cealaltă), se deduce afirmația adevărată.
Pasul 5
Este posibilă și o modalitate grafică de a rezolva sistemul. Pentru aceasta, se trasează o diagramă a relațiilor logice („arborele condițiilor logice”) pe baza ecuațiilor obținute ale sistemului. Mai mult, o sumă logică implică ramificarea, iar un produs înseamnă următoarele condiții una după alta. Decizia vine din analiză. Aceasta include și metoda cercurilor Euler - construcția unei scheme geometrice care reflectă intersecția sau uniunea mulțimilor.
Pasul 6
Nu mai puțin interesantă este metoda biliardului bazată pe teoria traiectoriilor.
Cu toate acestea, pentru o analiză detaliată, va fi necesar un articol separat, foarte distractiv.
