Resoldre problemes lògics és una activitat entretinguda i gratificant. La seva peculiaritat és que inicialment només hi ha una afirmació falsa i veritable, i no hi ha fórmules. Considerem diversos mètodes bàsics de solució, que tenen la seva pròpia àrea d’eficàcia.
Instruccions
Pas 1
El mètode de raonament (el més senzill) es basa en un raonament seqüencial (derivat de la condició del problema), i la seva verificació de la veritat o la falsedat, i totes les afirmacions posteriors es basen en l'original verificat.
Per exemple. L’edat de la mare i la filla és de 98 anys en total. La filla va néixer quan la meva mare tenia 22 anys. Quina edat tenen tots dos? Solució: ja que la diferència d’edat és de 22 anys (a aquesta edat la mare va tenir una filla), llavors 98 - 22 = 76 (anys). És el doble de l'edat de la filla, llavors 76: 2 = 38 (anys). Això significa que les mares tenen entre 98 i 38 = 60 (anys).
Pas 2
El mètode de les taules és un mètode visual que implica construir una taula segons les condicions dels problemes de paraules i omplir-la de manera seqüencial amb els números 0 o 1, en funció de les conclusions obtingudes (fals-veritable).
Per exemple. Hi ha un recipient de 8 litres ple d’aigua.
Com abocar 4 litres si hi ha contenidors buits amb un volum de 3 i 5 litres? Decisió:
Pas 3
El mètode dels diagrames de blocs és aplicable a la resolució de problemes sobre contenidors i pesos i és molt més convenient que el mètode d’enumeració d’opcions (que no ens permet derivar regles generals). En primer lloc, es formen ordres (idèntiques a les operacions realitzades) i després es construeix la seqüència esquemàtica. Aquest és el conegut diagrama de flux de programació que condueix a la solució del problema. La continuació lògica d’aquest mètode és el mètode de la solució assistida per ordinador. L’essència del qual, en la transferència de l’algoritme obtingut al llenguatge de programació.
Pas 4
El mètode de la solució algebraica implica la resolució de sistemes d’equacions lògiques. Totes les afirmacions derivades de la condició del problema tenen designacions de lletres assignades i escrites en forma de fórmules. Resolent el sistema de les equacions obtingudes (multiplicant una per l’altra), es dedueix l’afirmació veritable.
Pas 5
També és possible una forma gràfica de resoldre el sistema. Per a això, es dibuixa un diagrama de relacions lògiques ("arbre de condicions lògiques") basat en les equacions del sistema obtingudes. A més, una suma lògica implica ramificació i un producte significa les següents condicions una rere l’altra. La decisió prové de l'anàlisi. Això també inclou el mètode dels cercles d'Euler: la construcció d'un esquema geomètric que reflecteixi la intersecció o la unió de conjunts.
Pas 6
No menys interessant és el mètode del billar basat en la teoria de les trajectòries.
Tanmateix, per a la seva consideració detallada, caldrà un article separat i molt entretingut.
