Формализуйте высказывание: «Неверно, что на работу в это учреждение принимают тогда и только тогда, когда пройдешь собеседование и будешь аттестован положительно». Оцените его истинность, если на самом деле: 1) На работу не принимают без собеседования и
- Высшая математика
Условие:
Формализуйте высказывание: «Неверно, что на работу в это учреждение принимают тогда и только тогда, когда пройдешь собеседование и будешь аттестован положительно». Оцените его истинность, если на самом деле:
1) На работу не принимают без собеседования и без положительной аттестации.
2) На работу принимают после собеседования, но без положительной аттестации.
Решение:
Давайте формализуем данное высказывание. Обозначим: P: На работу в это учреждение принимают. Q: Ты прошел собеседование. R: Ты аттестован положительно. Исходное высказывание можно записать в логической форме как: P ↔ (Q ∧ R) Теперь нам нужно формализовать отрицание этого высказывания: ¬(P ↔ (Q ∧ R)) Согласно логике, отрицание эквивалентности можно записать как: ¬(P ↔ (Q ∧ R)) = P ↔ ¬(Q ∧ R) Это можно такж...
Похожие задачи
Не нашел нужную задачу?
Воспользуйся поиском
AI помощники
Выбери предмет
- Правоохранительные органы
- Пожарная безопасность
- Парикмахерское искусство
- Природообустройство и водопользование
- Почвоведение
- Приборостроение и оптотехника
- Промышленный маркетинг и менеджмент
- Производственный маркетинг и менеджмент
- Процессы и аппараты
- Программирование
- Право и юриспруденция
- Психология
- Политология
- Педагогика
- Трудовое право
- Теория государства и права (ТГП)
- Таможенное право
- Теория игр
- Текстильная промышленность
- Теория вероятностей
- Теоретическая механика
- Теория управления
- Технология продовольственных продуктов и товаров
- Технологические машины и оборудование
- Теплоэнергетика и теплотехника
- Туризм
- Товароведение
- Таможенное дело
- Торговое дело
- Теория машин и механизмов
- Транспортные средства