Текстовоя контрольная работа №2 «МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ»
Антиплагиат
Не указан
Размещена
10 Янв 2017
в 15:37
ВУЗ
Томский государственный университет систем управле
Курс
1 курс
Стоимость
600 ₽
Файлы работы
1
Каждая работа проверяется на плагиат, на момент публикации
уникальность составляет не менее 40% по системе проверки eTXT.
КР №2.doc
Описание
по дисциплине «Математическая логика и теория алгоритмов»
учебное пособие В. М. Зюзьков
Вариант №16
учебное пособие В. М. Зюзьков
Вариант №16
Оглавление
1. Следующее утверждение докажите или опровергните (опровергнуть
можно на частном примере с помощью диаграммы Эйлера):
если A ⊆ ¬(B ∪ C) и B ⊆ ¬(A ∪ C), то B = ∅.
2. Что можно сказать об истинностном значении высказывания p ⊃ v, ес-
ли формулы (p ∨ q) ⊃ (r ∨ s) и (s ∨ r) ⊃ v истинны?
можно на частном примере с помощью диаграммы Эйлера):
если A ⊆ ¬(B ∪ C) и B ⊆ ¬(A ∪ C), то B = ∅.
2. Что можно сказать об истинностном значении высказывания p ⊃ v, ес-
ли формулы (p ∨ q) ⊃ (r ∨ s) и (s ∨ r) ⊃ v истинны?
Вам подходит эта работа?
Похожие работы
Другие работы автора
Следующая работа