Решение:
Условие: Если кошка идёт по забору, то Жучка лает.
Это условие можно представить как импликацию: Кошка идёт по забору → Жучка лает.
Проверим утверждения:
- «Если Жучка не лает, значит, по забору идёт кошка.» Это обратное утверждение к данному условию. Если Жучка не лает (¬(Жучка лает)), то кошка НЕ идёт по забору (¬(Кошка идёт по забору)). Данное утверждение является ложным contrapositive.
- «Если Жучка молчит (не лает), значит, кошка по забору не идёт.» Это утверждение является верным. Это следствие из отрицания Жучкиного лая. Если исходное условие истинно (Кошка идет -> Жучка лает), то его контрапозиция (Жучка не лает -> Кошка не идет) также истинна.
- «Если по забору идёт сиамская кошка, Жучка не лает.» Условие гласит, что любая кошка, идущая по забору, вызывает лай Жучки. Поэтому, если идет сиамская кошка, Жучка ОБЯЗАТЕЛЬНО лает. Утверждение, что Жучка не лает, ложно.
- «Если по забору пойдёт кошка Муся, Жучка будет лаять.» Так как условие говорит, что любая кошка, идущая по забору, вызывает лай Жучки, то и кошка Муся, будучи кошкой, при ходьбе по забору вызовет лай Жучки. Это утверждение верно.
Таким образом, верными являются утверждения 2 и 4.
Ответ: 24