Для студентов МГТУ им. Н.Э.Баумана по предмету Математическая логика и теория алгоритмовЛогика и теория алгоритмов (ЛИТА). Домашнее задание № 2, задача 3.Логика и теория алгоритмов (ЛИТА). Домашнее задание № 2, задача 3.
5,0051
2022-06-302022-06-30СтудИзба
Задача 2: Логика и теория алгоритмов (ЛИТА). Домашнее задание № 2, задача 3. вариант 18
Описание
Задачи по математической логике.
Задача №3 из второго Дз или просто Дз№3.
Доказать в исчислении высказываний (буквы обозначают произвольные
формулы):
((неC->(неA->неВ)) = А или (неВ или С)
![]()
Принято А. И. Белоусовым.
Задача №3 из второго Дз или просто Дз№3.
Доказать в исчислении высказываний (буквы обозначают произвольные
формулы):
((неC->(неA->неВ)) = А или (неВ или С)
Принято А. И. Белоусовым.Файлы условия, демо
Характеристики решённой задачи
Учебное заведение
МГТУ им. Н.Э.БауманаСеместр
Номер задания
Вариант
Просмотров
48
Качество
Фото рукописных листов
Размер
280,52 Kb
Список файлов
Dz2_zadacha3.pdf
Yanya
30 июня 2022 в 22:21
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
