Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции. За каждое небольшое опоздание менеджер лишается 5% зарплаты.
- Высшая математика
Условие:
Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции.
Заданное рассуждение:
За каждое небольшое опоздание менеджер лишается 5% зарплаты. Если менеджер опаздывает и приезжает после полудня, то получает выговор. Менеджер получил выговор с вычетом 5% зарплаты. Значит, менеджер приехал после полудня.
Решение:
Обозначим высказывания:
А = 'Менеджер немного опоздал на работу',
В = 'Менеджер лишается 5% зарплаты ',
C = 'Менеджер приехал на работу после полудня ',
D = 'Менеджер получил выговор'.
Запишем заданное рассуждение в логической символике с использованием введенных высказываний:
(В заключении мы учли, что менеджер получил только выговор, но не лишился 5% зарплаты, поэтому в качестве вывода написано не D, ...
Похожие задачи
Не нашел нужную задачу?
Воспользуйся поиском
AI помощники
Выбери предмет
- Правоохранительные органы
- Пожарная безопасность
- Парикмахерское искусство
- Природообустройство и водопользование
- Почвоведение
- Приборостроение и оптотехника
- Промышленный маркетинг и менеджмент
- Производственный маркетинг и менеджмент
- Процессы и аппараты
- Программирование
- Право и юриспруденция
- Психология
- Политология
- Педагогика
- Трудовое право
- Теория государства и права (ТГП)
- Таможенное право
- Теория игр
- Теория вероятностей
- Теоретическая механика
- Теория управления
- Технология продовольственных продуктов и товаров
- Технологические машины и оборудование
- Теплоэнергетика и теплотехника
- Туризм
- Товароведение
- Таможенное дело
- Торговое дело
- Теория машин и механизмов
- Транспортные средства