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