Рекомендуемая категория для самостоятельной подготовки:
Контрольная работа*
| Код |
497257 |
| Дата создания |
2017 |
Мы сможем обработать ваш заказ (!) 1 ноября в 12:00 [мск] Файлы будут доступны для скачивания только после обработки заказа.
|
Описание
по дисциплине «Математическая логика и теория алгоритмов»
учебное пособие В. М. Зюзьков
Вариант №16
Содержание
1. Следующее утверждение докажите или опровергните (опровергнуть
можно на частном примере с помощью диаграммы Эйлера):
если A ⊆ ¬(B ∪ C) и B ⊆ ¬(A ∪ C), то B = ∅.
2. Что можно сказать об истинностном значении высказывания p ⊃ v, ес-
ли формулы (p ∨ q) ⊃ (r ∨ s) и (s ∨ r) ⊃ v истинны?
Пожалуйста, внимательно изучайте содержание и фрагменты работы. Деньги за приобретённые готовые работы по причине несоответствия данной работы вашим требованиям или её уникальности не возвращаются.
* Категория работы носит оценочный характер в соответствии с качественными и количественными параметрами предоставляемого материала. Данный материал ни целиком, ни любая из его частей не является готовым научным трудом, выпускной квалификационной работой, научным докладом или иной работой, предусмотренной государственной системой научной аттестации или необходимой для прохождения промежуточной или итоговой аттестации. Данный материал представляет собой субъективный результат обработки, структурирования и форматирования собранной его автором информации и предназначен, прежде всего, для использования в качестве источника для самостоятельной подготовки работы указанной тематики.
Другие контрольные работы
bmt: 0.00571