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

Из условия задачи мы знаем, что если кошка идёт по забору, то Шарик лает. Теперь рассмотрим предложенные утверждения: 1) Если Шарик не лает, значит, по забору идёт кошка. - Это неверно. Если кошка идет по забору, то Шарик *обязательно* лает. Но если Шарик не лает, это значит, что по забору не идет кошка. 2) Если Шарик молчит, значит, кошка по забору не идёт. - Это верно. Если кошка шла бы по забору, Шарик бы лаял. 3) Если по забору идёт чёрная кошка, Шарик не лает. - Это неверно. Цвет кошки не влияет на поведение Шарика. Если кошка идет по забору (неважно, какого цвета), Шарик лает. 4) Если по забору пойдёт белая кошка, Шарик будет лаять. - Это верно. Независимо от цвета кошки, если она идет по забору, Шарик будет лаять. Таким образом, верные утверждения: 2 и 4.