Условие: Кошка на заборе → Шарик лает.
Разбор утверждений:
- Утверждение 1: «Если Шарик лает, значит, по забору идёт кошка». Это обратное утверждение. Не обязательно. Шарик может лаять по другой причине. Неверно.
- Утверждение 2: «Если Шарик молчит, значит, кошка по забору не идёт». Это следствие из условия (modus tollens). Если кошка идёт по забору, то Шарик лает. Следовательно, если Шарик не лает, то кошка не идёт по забору. Верно.
- Утверждение 3: «Если кошка по забору не идёт, Шарик не лает». Это обратное к следствию. Не обязательно. Шарик может не лаять, когда кошка не идёт по забору, но может лаять и в других случаях. Неверно.
- Утверждение 4: «Если по забору пойдёт белая кошка, Шарик будет лаять». Это прямое следствие из условия. Цвет кошки не имеет значения. Верно.
Ответ: 24