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