Решения логических задач. лаб 1. Системный анализ и математические методы принятия решений
 Скачать 18.77 Kb.
|
|
Системный анализ и математические методы принятия решений Орындаған:Қабдешов Толағай,19-МКК-1 № 1 Зертханалық жұмыс ЛОГИКАЛЫҚ ЕСЕПТЕРДІ ШЕШУ Четыре человека взялись выполнять работу маляра, слесаря, кузнеца и штукатура - каждый будет делать что-то одно. Выяснилось, что Антон не будет маляром и не будет слесарем, Алексей не будет кузнецом и не будет маляром, Евгений не будет слесарем и не будет маляром, Дмитрий не будет кузнецом и не будет слесарем. Известно также, что если Антон не будет кузнецом, то Дмитрий не будет маляром. Кто и какую работу будет выполнять? Шешім Кестеге бастапқы шарттарды енгіземіз.
Бастапқы шарттарға қарай отыра, Антон да, Алексей де, Евгений де маляр бола алмайды,сонда Дмитрий маляр болады. Сондай-ақ, егер Антон кузнец болмаса, онда Дмитрий маляр болмайды. Дмитрий маялр болғандықтан, Антон кузнец болуы керек. Антон да, Дмитрий де, Евгений де бастапқы шарт бойынша слесарь болмайтындықтан, Алексей слесарь болады. Әркім бір кәсіп мамандығы бола алғандықтан, Евгений тек қана штукатур бола алады.
Нәтижесінде,Антон-кузнец,Алексей-слесарь,Евгений-штукатур,Дмитрий-маляр болады. Конъюнкция дегеніміз не? Конъюнкция (логикалық көбейту):"и" деп аталады немесе "&" белгісімен белгіленеді. Конъюнкция-бұл екі қарапайым мәлімдемеге сәйкес келетін, құрама мәлімдемені құрайтын логикалық операция, ол түпнұсқа мәлімдеменің екеуі де дұрыс болған кезде ғана шындыққа сәйкес келеді. Дизъюнкция дегеніміз не? Дизъюнкция (логикалық қосу):"или" бірлестігіне сәйкес келеді, "V" белгілейді. Дизъюнкция - бұл логикалық операция, оны құрайтын екі тұжырымның кем дегенде біреуі дұрыс және жалған болған кезде, құрама мәлімдемені бір-біріне сәйкес келтіреді. Инверсия дегеніміз не? Инверсия (теріске шығару):" неверно, что.. "және "не" бөлшегі А деп белгіленеді. Инверсия-бұл әрбір қарапайым мәлімдемеге құрама мәлімдемені сәйкестендіретін логикалық операция, ол бастапқы мәлімдеменің қабылданбайтындығын білдіреді. Логикалық қосу логикалық көбейтуден несімен ерекшеленеді? Логикалық қосу, көбейту-екілік операциялар ("би" - екі), өйткені олар екі операндты (екі сөз) байланыстырады. Олардан айырмашылығы, логикалық теріске шығару біртұтас операция болып табылады, өйткені ол тек бір тұжырымға қолданылады. Қарапайым логикалық мәлімдеме дегеніміз не? Қарапайым логикалық мәлімдемелер-бұл компоненттерге жатпайтын мәлімдемелер. Қарапайым мәлімдеменің мысалы ретінде 5<7. Күрделі логикалық мәлімдеменің Мысалы ретінде 5<7,егер 5 жұп сан болса. Логика алгебрасының негізгі функцияларын атаңыз. Константа 0 Константа 1 Бірдей функция Терістеу Конъюнкция Дизъюнкция Импликация Эквивалентность Модуль бойынша қосу Шеффер штрихы Пирс стрелкасы Фактіні екі рет теріске шығару шындық бола ма? Қос теріске шығару заңы қос теріске шығаруды алып тастау заңы деп те аталады. Логикалық шешім қабылдау процесін сипаттаңыз. Логика-бұл құрал. Бұл сыртқы жағдайлар, дәлірек айтқанда олардың жиынтығы, ал шығу кезінде шешім болатын механизм. Логика-бұл нақты жағдайларда шешім қабылдау механизмі. Логикалық есептерді логика алгебрасының операцияларын қолданбай шешуге бола ма? Логика алгебрасының аппараты логикалық есептердің кең класына есеп жағдайларын рәсімдеуге негізделген әмбебап әдістерді қолдануға мүмкіндік береді. Логика алгебрасында фактіні теріске шығару қалай көрсетілген? Ол символдық түрде жоғарыдағы сызықпен (Ā) немесе А, not А,не А ("теріске шығару", "а емес", "а жалған", "а дұрыс емес"оқылады) белгіленеді. |