Какие из нижеприведенных формул являются тождестивенно истинными: а) Ɐ y (P1. (x)) & Ɐ y (P2. (x)) → Ɐ y (P1. (x) & (P2. (x)); б) Ɐ y (P1. (x) ∨ (P2. (x)) → Ɐy (P1. (x)) ∨ Ɐ y (P2. (x))
«Какие из нижеприведенных формул являются тождестивенно истинными: а) Ɐ y (P1. (x)) & Ɐ y (P2. (x)) → Ɐ y (P1. (x) & (P2. (x)); б) Ɐ y (P1. (x) ∨ (P2. (x)) → Ɐy (P1. (x)) ∨ Ɐ y (P2. (x))»
- Высшая математика
Условие:
Какие из нижеприведенных формул являются тождестивенно истинными:
а) Ɐy(P1.(x))&Ɐy (P2.(x))→Ɐy(P1.(x)&(P2.(x));
б) Ɐy(P1.(x)∨(P2.(x))→Ɐy(P1.(x))∨Ɐy (P2.(x))
Решение:
а) Ɐy(P1.(x))Ɐy (P2.(x))Ɐy(P1.(x)(P2.(x));
Формула тождественно истинна, так как
Похожие задачи
Не нашел нужную задачу?
Воспользуйся поиском
AI помощники
Выбери предмет
S
А
Б
В
Г
И
К
М
П
- Правоохранительные органы
- Пожарная безопасность
- Парикмахерское искусство
- Природообустройство и водопользование
- Почвоведение
- Приборостроение и оптотехника
- Промышленный маркетинг и менеджмент
- Производственный маркетинг и менеджмент
- Процессы и аппараты
- Программирование
- Право и юриспруденция
- Психология
- Политология
- Педагогика
С
Т
- Трудовое право
- Теория государства и права (ТГП)
- Таможенное право
- Теория игр
- Теория вероятностей
- Теоретическая механика
- Теория управления
- Технология продовольственных продуктов и товаров
- Технологические машины и оборудование
- Теплоэнергетика и теплотехника
- Туризм
- Товароведение
- Таможенное дело
- Торговое дело
- Теория машин и механизмов
- Транспортные средства
Ф
Э