Номер: 285308
Количество страниц: 3
Автор: marvel5
Контрольная Логика и доказательство Вариант 9, номер: 285308
390 руб.
Купить эту работу
Не подошла
данная работа? Вы можете заказать учебную работу
на любую интересующую вас тему
Заказать новую работу
данная работа? Вы можете заказать учебную работу
на любую интересующую вас тему
- Содержание:
КОНТРОЛЬНАЯ РАБОТА
«Логика и доказательство»
Вариант 9
9. Является ли высказывание (A ⇒ B или C) ⇒ (не B ⇒ A) тавтологией?
19-27. Доказать методом математической индукции:
19) 4n^3 + 14n кратно 3 для всех натуральных чисел n.
29. Обозначим через А высказывание «дует ветер», через В «на улице холодно», через С «дождь не идет». Запишите высказывания как логические выражения:
а) Если дует ветер и не идет дождь, то на улице не холодно.
б) Если идет дождь, то холодно. Но дождь не идет. Поэтому не холодно, но дует ветер.
3
2
-
39
. Введя обозначения, запишите логическую форму высказываний:
39). «В жизни возможны лишь две трагедии: не осуществить свою страстную мечту и добиться ее осуществления».
40-50. Введите обозначения и запишите высказывания на языке алгебры логики. С помощью таблицы истинности установите, являются ли они тождественными.
49). «Как только поезд прибывает на станцию, подается сигнал «Путь закрыт», поезд прибыл на станцию» и « сигнал «Путь закрыт»не подан».
Другие работы
330 руб.