Kutatua shida za kimantiki ni shughuli ya burudani na thawabu. Upekee wake ni kwamba mwanzoni kuna taarifa ya uwongo na ya kweli tu, na hakuna kanuni. Wacha tuchunguze njia kadhaa za msingi za suluhisho, ambazo zina eneo lao la ufanisi.
Maagizo
Hatua ya 1
Njia ya hoja - iliyo ya moja kwa moja - inategemea hoja inayofuatana (inayotokana na hali ya shida), na uthibitisho wao wa ukweli au uwongo, na taarifa zote zinazofuata zinategemea asili halisi iliyothibitishwa.
Kwa mfano. Umri wa mama na binti ni miaka 98 kwa jumla. Binti alizaliwa wakati mama yangu alikuwa na umri wa miaka 22. Wote wawili wana umri gani? Suluhisho: kwa kuwa tofauti katika umri wao ni miaka 22 (ilikuwa katika umri huu mama alikuwa na binti), basi 98 - 22 = 76 (miaka). Hii ni mara mbili ya umri wa binti, basi 76: 2 = 38 (miaka). Hii inamaanisha kuwa mama ni 98 - 38 = 60 (miaka).
Hatua ya 2
Njia ya meza ni njia ya kuona ambayo inamaanisha kujenga meza kulingana na hali ya shida za neno na kuijaza kwa nambari na nambari 0 au 1, kulingana na hitimisho lililopatikana (uwongo-kweli).
Kwa mfano. Kuna chombo cha lita 8 kilichojaa maji.
Jinsi ya kumwaga lita 4 ikiwa kuna vyombo vyenye tupu na ujazo wa lita 3 na 5? Uamuzi:
Hatua ya 3
Njia ya michoro ya kuzuia inatumika katika kutatua shida juu ya kontena na uzani na ni rahisi zaidi kuliko njia ya kuorodhesha chaguzi (ambayo hairuhusu kupata sheria za jumla). Kwanza, amri zinaundwa (sawa na shughuli zilizofanywa), halafu mlolongo wao wa kimfumo unajengwa. Hii ndio chati inayojulikana katika programu inayoongoza kwa suluhisho la shida. Uendelezaji wa kimantiki wa njia hii ni njia ya suluhisho inayosaidiwa na kompyuta. Kiini cha ambayo, katika uhamishaji wa algorithm iliyopatikana kwa lugha ya programu.
Hatua ya 4
Njia ya suluhisho la algebra inajumuisha kutatua mifumo ya hesabu za kimantiki. Taarifa zote zinazotokana na hali ya shida zimepewa uteuzi wa barua na kuandikwa kwa njia ya fomula. Kutatua mfumo wa hesabu zilizopatikana (kuzidisha moja kwa moja), taarifa ya kweli imepunguzwa.
Hatua ya 5
Njia ya picha ya kutatua mfumo pia inawezekana. Kwa hili, mchoro wa uhusiano wa kimantiki ("hali ya mantiki mti") hutolewa kulingana na hesabu zilizopatikana za mfumo. Kwa kuongezea, jumla ya mantiki inamaanisha matawi, na bidhaa inamaanisha hali zifuatazo moja baada ya nyingine. Uamuzi unatoka kwa uchambuzi. Hii pia ni pamoja na njia ya miduara ya Euler - ujenzi wa mpango wa kijiometri ambao unaonyesha makutano au umoja wa seti.
Hatua ya 6
Sio chini ya kupendeza ni njia ya mabilidi kulingana na nadharia ya trajectories.
Walakini, kwa kuzingatia kwa kina, nakala tofauti, ya kufurahisha sana itahitajika.
