И. В. Раскина Логика для всех: от пиратов до мудрецов Издание третье, стереотипное


Ответ. а) Три; б) десять. Решение



Pdf көрінісі
бет41/123
Дата05.05.2023
өлшемі1.3 Mb.
#473245
1   ...   37   38   39   40   41   42   43   44   ...   123
Logika2-text

Ответа) Три; б) десять.
Решение. Чтобы доказать, что из любого утверждения
следует любое другое, достаточно получить их друг из дру-
га по кругу (для трех утверждений А
⇒ Б ⇒ В ⇒ А, для
десяти аналогично), при этом число теорем равно числу
утверждений.
С другой стороны, теорем не может получиться мень-
ше, чем утверждений. Действительно, для каждого утвер-
ждения должна быть теорема, где оно стоит справа от зна-
ка «
⇒», иначе оно ни из чего не следует.
Доказательство по кругу не всегда оказывается самым
удобным. Иногда доказывают не минимальное количество
78


теорем, а больше, зато каждая из них достаточно проста.
Убедимся в этом, решив следующую задачу.
Задача 8.5

. В лифте многоэтажного дома работают
только две кнопки: одна поднимает лифт на этажей, вто-
рая опускает на этажей (если это возможно при данном
положении лифта), где натуральные числа и меньше
количества этажей в доме. Рассмотрим три утверждения:
(1) С любого этажа можно попасть на любой другой.
(2) С любого этажа, кроме последнего, можно подняться
на следующий.
(3) С любого этажа, кроме первого, можно спуститься на
предыдущий.
1) Покажите, что в зависимости от значений и каж-
дое утверждение может быть как верным, так и неверным.
2) Между какими из этих утверждений можно поста-
вить знак следствия и получить верное высказывание?
Есть ли среди данных трех утверждений равносильные?
Решение. 1) При = 1 все утверждения верны, при
= 2 неверны, так как нельзя поменять четность этажа.
2) Очевидно, что (1)
⇒ (2), (1) ⇒ (3). Кроме того, из од-
новременной истинности (2) и (3) следует (1). Докажем,
что (2)
⇒ (3). Пусть лифт находится на n-м этаже. Если
− > 0, то сначала опустимся на этажей, а потом − 1
раз поднимемся на 1 этаж и окажемся на (n − 1)-м этаже.
Если − 6 0, то + 1, поэтому можно, прибавляя
по этажу, постепенно подняться до (y + 1)-го этажа, за-
тем спуститься на этажей до первого, а потом постепен-
но подняться на (n − 1)-й этаж. Аналогично доказывается
и (3)
⇒ (2), что завершает доказательство равносильности
всех трех утверждений.


Достарыңызбен бөлісу:
1   ...   37   38   39   40   41   42   43   44   ...   123




©dereksiz.org 2024
әкімшілігінің қараңыз

    Басты бет