КАТЕГОРИИ: Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748) |
Решение. Введем обозначения простых высказываний из первого предложения:Решение Пример 4. Решение Введем обозначения простых высказываний из первого предложения: А - “Фирма продолжает выпуск существующего продукта”. В - “Фирма ориентирована на существующий рынок”. С - “Для фирмы целесообразна (привлекательна) стратегия «малого корабля»”. D - “Для фирмы целесообразна (привлекательна) стратегия экономии издержек”.
С учетом введенных обозначений логическая формула для первого предложения примет вид: (А & В) ® (С ~ D). Второе предложение содержит новые простые высказывания: К - “Интенсивный маркетинг является стратегическим хозяйственным фактором организации”. L - “Интенсивный маркетинг является слабой стороной организации”. Логическая формула, представляющая второе предложение: (K & L) ® (C~D). В третьем предложении содержатся новые простые высказывания: М- “Интенсивный маркетинг является сильной стороной организации”. N - “Фирме следует придерживаться стратегии захвата новых рынков для существующего продукта”. Логическая формула для третьего предложения: (К & М)
Окончательно текст записывается следующей логической формулой: ((А & В) ® (С ~ D)) & ((К&L) ® (C~ D)) &((K&M)®N).
Записать формулами логики высказываний два способа доказательства равенства множеств, вытекающие из определений I и II равенства множеств (см. § 1.1). Определения I и II равенства множеств, сформулированные в конструктивном для доказательстве виде (см. § 1.4, примеры 1.2): Определение I: множества X и Y равны, если для любого элемента а из того, что а принадлежит X, следует, что а принадлежит Х, и из того, что а не принадлежит X. следует, что а не принадлежит Y, или: "X = Y, если из того, что а Î X, следует а Î Y, и из того, что а Ï X, следует а Ï Y”. Определение II: множества X и Y равны, если для любого элемента а из того, что а принадлежит X, следует, что а принадлежит Y, и из того, что а принадлежит Y, следует, что а принадлежит X, или: "Х= Y, если из того, что а Î X следует а Î Y, и из того, что a ÎY, следует а Î X”. Обозначим простые высказывания: А - “Элемент а принадлежит X т.е. а ÎX”. В - “Элемент а принадлежит Y, т.е. а Î Y ”. С-“Множества X и Y равны, т.е. Х = Y”. Тогда процедура доказательства равенства множеств, исходя из определения I: “Если из А следует В, и из ~ùА следует ùВ, то С ”, или ((А ® В) & (ùА ® ùВ)) ® С. В соответствии с определением II процедура доказательства равенства множеств: “Если из А следует В, и из В следует А, то С”, или ((В ® А) & (В ® А)) ® С. Упражнения Исходя из определения логической формулы, определить, являются ли формулами следующие выражения: а) (((A Ú В) ® ùС) ~ D) &((А Å C) ® ùD). б)((А Å В) ®С) ~ (D & ®B). Записать логическими формулами следующие сложные высказывания: а) “Этот человек студент или предприниматель”. б) “Петров женат на Марье Ивановне или Лукерии Ильиничне”. в) “Если при выполнении программы отклонение контролируемых параметров превышает предусмотренные нормы (стандарты), то требуется оперативная корректировка программы или уточнение стандартов”. Представить формулами логики высказываний следующие суждения (сложные высказывания): а) “Если темпы роста рынка продукта корпорации высокие и размер контролируемой ею доли рынка также высок, то в соответствии с матрицей портфельного анализа этот продукт относится к категории «звезда»; он дает большой доход, но требует значительных вложений”. б) “Стратегическая хозяйственная единица корпорации занимает сильные позиции на рынке и работает в привлекательной отрасли, следовательно, имеет наиболее высокий приоритет при распределении ресурсов”. в) “Если стратегическая хозяйственная единица корпорации - лидер в непривлекательной (возможно, старой) отрасли, ее стратегией может быть максимизация прибыли на уже вложенный капитал, но не вложение нового”. г) “Если при высокой доле рынка темпы роста рынка низкие, то продукт относится к категории «денежного мешка», или «дойной коровы»; он дает большие доходы и характеризуется малыми затратами в связи со стабильностью рынка”. д) “Если прогноз показывает, что можно получить крупную прибыль на выпуске новых товаров, то при разработке стратегии развития фирме следует сделать упор на маркетинг и сеть распределения, а также целесообразно открыть более крупные магазины и расширить торговую сеть”. е) “В ситуации, где жизненно необходимо расширение фирмы или где ключевые патенты или ключевые ресурсы находятся в руках у других компаний, а данной фирме недостает технических знаний, лучшей стратегией для нее является приобретение (предприятий)”. Записать логической формулой следующий текст: “Если компьютер при запуске не выдает ошибку при проверке оперативной памяти, то она исправна. Если при запуске он выдает ошибку при проверке оперативной памяти и память установлена правильно, то либо оперативная память дефектна, либо дефектна материнская плата. Тогда если эта оперативная память правильно установлена в другой (контрольный) компьютер и он при запуске не выдает ошибку при проверке оперативной памяти, то оперативная память исправна”. Записать логической формулой следующую пословицу: “Не ел - не мог, поел - без ног”. Составить таблицы Кэли для основных логических связок - бинарных логических операций.
Дата добавления: 2014-01-07; Просмотров: 4828; Нарушение авторских прав?; Мы поможем в написании вашей работы! Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет |