Необходимо произвести проверку на то, являются ли заданные в исходном условии задачи формулы логики предикатов равносильными.
«Необходимо произвести проверку на то, являются ли заданные в исходном условии задачи формулы логики предикатов равносильными.»
- Логика
Условие:
Проверить, являются ли формулы логики предикатов равносильными:
1) F1=∀x¯(Q(x)→(∃xP(x)&∃xQ(x)), F2=∃xQ(x);
2) F1=∃xP(x)∨(∃xP(x)&∃x¯(Q(x)), F2=∃xP(x).
Решение:
1) Заметим, что xQ(x)xQ(x)=F2, т.е. F1=F2(xP(x)F2). Если F2 истинен, то F2 ложен, и F1 будет истинен как импликация, у которой посылка ложная. Если F2 ложен, то F2 истинен,...
Похожие задачи
Не нашел нужную задачу?
Воспользуйся поиском
AI помощники
Выбери предмет
S
А
Б
В
Г
И
К
М
П
- Правоохранительные органы
- Пожарная безопасность
- Парикмахерское искусство
- Природообустройство и водопользование
- Почвоведение
- Приборостроение и оптотехника
- Промышленный маркетинг и менеджмент
- Производственный маркетинг и менеджмент
- Процессы и аппараты
- Программирование
- Право и юриспруденция
- Психология
- Политология
- Педагогика
С
Т
- Трудовое право
- Теория государства и права (ТГП)
- Таможенное право
- Теория игр
- Теория вероятностей
- Теоретическая механика
- Теория управления
- Технология продовольственных продуктов и товаров
- Технологические машины и оборудование
- Теплоэнергетика и теплотехника
- Туризм
- Товароведение
- Таможенное дело
- Торговое дело
- Теория машин и механизмов
- Транспортные средства
Ф
Э