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

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