Loginių problemų sprendimas yra linksma ir naudinga veikla. Jo ypatumas yra tas, kad iš pradžių yra tik klaidingas ir teisingas teiginys, o formulės nėra. Apsvarstykime keletą pagrindinių sprendimo būdų, kurie turi savo efektyvumo sritį.
Nurodymai
1 žingsnis
Samprotavimo metodas - tiesiausias - pagrįstas nuosekliais samprotavimais (kylančiais iš problemos būklės) ir jų tikrinimu dėl tiesos ar melagingumo, o visi vėlesni teiginiai yra pagrįsti patikrintu originalu.
Pavyzdžiui. Motinos ir dukros amžius iš viso yra 98 metai. Dukra gimė, kai mano motinai buvo 22 metai. Kiek abiejų metų? Sprendimas: kadangi jų amžiaus skirtumas yra 22 metai (būtent šiame amžiuje mama turėjo dukterį), tada 98 - 22 = 76 (metai). Tai dukart dukros amžius, tada 76: 2 = 38 (metai). Tai reiškia, kad motinoms yra 98 - 38 = 60 (metai).
2 žingsnis
Lentelių metodas yra vizualus metodas, kuris reiškia lentelės sukūrimą pagal žodžių uždavinių sąlygas ir nuoseklų jos užpildymą skaičiais 0 arba 1, atsižvelgiant į gautas išvadas (klaidingai-tiesa).
Pavyzdžiui. Yra 8 litrų indas, pilnas vandens.
Kaip išpilti 4 litrus, jei yra tuščių indų, kurių tūris yra 3 ir 5 litrai? Sprendimas:
3 žingsnis
Blokinių diagramų metodas yra tinkamas sprendžiant problemas, susijusias su konteineriais ir svoriais, ir yra daug patogesnis nei variantų surašymo metodas (kuris neleidžia išvesti bendrų taisyklių). Pirmiausia suformuojamos komandos (identiškos atliekamoms operacijoms), tada sukuriama jų scheminė seka. Tai yra gerai žinoma programavimo schema, leidžianti išspręsti problemą. Loginis šio metodo tęsinys yra kompiuterio sprendimo būdas. Kurio esmė, perkeliant gautą algoritmą į programavimo kalbą.
4 žingsnis
Algebrinis sprendimo metodas apima loginių lygčių sistemų sprendimą. Visiems teiginiams, kylantiems iš problemos būklės, priskiriami raidžių žymėjimai ir parašomi formulių pavidalu. Išsprendus gautų lygčių sistemą (padauginus vieną iš kitos), išvedamas tikrasis teiginys.
5 žingsnis
Galimas ir grafinis sistemos sprendimo būdas. Tam, remiantis gautomis sistemos lygtimis, sudaroma loginių santykių diagrama („loginių sąlygų medis“). Be to, logiška suma reiškia šakojimąsi, o produktas reiškia šias sąlygas viena po kitos. Sprendimas priimamas atlikus analizę. Tai taip pat apima Eulerio apskritimų metodą - geometrinės schemos, atspindinčios aibių susikirtimą ar susijungimą, konstrukciją.
6 žingsnis
Ne mažiau įdomus yra biliardo metodas, pagrįstas trajektorijų teorija.
Tačiau norint išsamiai apsvarstyti, reikės atskiro, labai linksmo straipsnio.
