Решение: Логические следствия условия
Когда какая-нибудь кошка идёт по забору, пёс Шарик, живущий в будке возле дома, обязательно лает.
Решение по шагам
5 шаговОбозначим: $A$ — по забору идёт кошка, $B$ — Шарик лает. Условие задаёт импликацию $A \Rightarrow B$.
$$A \Rightarrow B$$Противопоставленное утверждение также верно: если Шарик не лает, то кошка по забору не идёт. Поэтому утверждение 2 верно.
$$\neg B \Rightarrow \neg A$$Утверждение 1 является неверным обращением исходного условия: из отсутствия лая нельзя заключить, что кошка идёт по забору.
Утверждение 3 противоречит условию: чёрная кошка — это кошка, поэтому при её движении по забору Шарик должен лаять.
Белая кошка также является кошкой. Следовательно, при её движении по забору Шарик будет лаять, поэтому утверждение 4 верно.
Где здесь ошибаются
Путают исходное условие с его обращением.
Считают, что цвет кошки меняет действие условия.
Выбирают утверждение 3, хотя оно прямо противоречит условию.