Когда какая-нибудь кошка идёт по забору, пёс Шарик, живущий в будке возле дома, обязательно лает. Выберите все утверждения, которые верныпри приведённом условии.1) Если Шарик не лает, значит, по забору идёт кошка.2) Если Шарик молчит, значит, кошка по забору не идёт.3) Если по забору идёт чёрная кошка, Шарик не лает.4) Если по забору пойдёт белая кошка, Шарик будет лаять.

Привет! Давай разложим по полочкам и разберёмся, какие утверждения верны. Итак, условие: если кошка идёт по забору, то Шарик обязательно лает. Обозначим: - C — кошка идёт по забору - B — Шарик лает Условие даёт импликацию: C -> B. Теперь проверим каждое утверждение. 1) Если Шарик не лает, значит, по забору идёт кошка. (~B -> C) - Это не следует из C -> B. Это так называемое обратное утверждение, которое в общем не верно. По импликации C -> B нельзя сделать вывод ~B -> C. - Вывод: неверно. 2) Если Шарик молчит, значит, кошка по забору не идёт. (~B -> ~C) - Это контрапозиция C -> B. Контрапозиция истинна: если кошки нет на заборе ( ~C ), то Шарик не лает ( ~B ). Здесь наоборот: если Шарик молчит (~B), то никакая кошка не идёт (~C). Это верно. - Вывод: верно. 3) Если по забору идёт чёрная кошка, Шарик не лает. (C AND цвет = чёрный) -> ~B - По условию любая кошка, которая идёт по забору, заставляет Шарика лаять. Следовательно, если кошка идёт, Шарик лает. Никакой «чёрной кошке» здесь не меняет правила. Утверждение требует, чтобы при чёрной кошке Шарик не лаял, что противоречит условию. - Вывод: неверно (последовательность противоречит данному правилу). 4) Если по забору пойдёт белая кошка, Шарик будет лаять. (C) -> B - Белая кошка — значит кошка идёт по забору, значит по условию Шарик лаят. Следовательно, утверждение верно. - Вывод: верно. Итого: верны 2 и 4. Ваш ответ был “2” — то есть Вы считали верным только утверждение 2. Но нужно было выбрать и 4-е как верное. Правильный набор утверждений: 2 и 4 (то есть 24, как в ответах). Иногда это записывают как 24 или 42 — главное, что оба верны. Почему так получилось и как запомнить: - Контрапозиция C -> B дает верное утверждение 2: ~B -> ~C. - Чтобы понять 4, достаточно помнить: если кошка идёт по забору, Шарик лает. Любая кошка, которая идёт, приводит к лаю, независимо от цвета. Поэтому и 4 верно. - 1 и 3 ложно, потому что они предполагают обратную зависимость или отрицание последствия, чего в условии нет. Готов разобрать ещё примеры или разобрать слабые места в логике. Оцените мой ответ лайком или дизлайком.