Номер: 285309
Количество страниц: 3
Автор: marvel5
Контрольная Логика и доказательство Вариант 11, номер: 285309
390 руб.
Купить эту работу
Не подошла
данная работа? Вы можете заказать учебную работу
на любую интересующую вас тему
Заказать новую работу
данная работа? Вы можете заказать учебную работу
на любую интересующую вас тему
- Содержание:
КОНТРОЛЬНАЯ РАБОТА
«Логика и доказательство»
Вариант 11
2. Является ли высказывание A ⇒ (B ⇒ C) логически эквивалентным высказыванию не C ⇒ ((не A) или (не B))?
11-14. Проверить составлением таблиц истинности, будут ли эквивалентными следующие выказывания:
11) X = A или (B ⇒ C), Y = (AилиB) ⇒ (AилиC);
19-27. Доказать методом математической индукции:
23) a^n − 1 кратно (a – 1) для всех a, n ∈ N.
32-39. Введя обозначения, запишите логическую форму высказываний:
34). «Либо все люди должны быть счастливы, либо никто».
40-50. Введите обозначения и запишите высказывания на языке алгебры логики. С помощью таблицы истинности установите, являются ли они тождественными.
45). «Если стоит туманная погода, то аэропорт закрывают. Стоит туманная погода» и «аэропорт закрыт».
Другие работы
330 руб.