Для студентов МГТУ им. Н.Э.Баумана по предмету Математическая логика и теория алгоритмовВариант 6 - ДЗ №3Вариант 6 - ДЗ №3
5,0055
2020-08-052020-08-05СтудИзба
ДЗ: Вариант 6 - ДЗ №3 вариант 6
Описание
Задача по математической логике. Вариант 6
Доказать в исчислении высказываний (буквы обозначают произвольные формулы):
¬((X & Y) & ¬Z) ⊢ (¬(¬X → ¬Y) v (Y → Z))
Характеристики домашнего задания
Учебное заведение
МГТУ им. Н.Э.БауманаСеместр
Вариант
Просмотров
128
Качество
Идеальное компьютерное
Размер
12,27 Kb
Список файлов
if_
05 августа 2020 в 09:43
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
