Условие: Кошка на заборе → Шарик лает.
Разбор утверждений:
- Утверждение 1: «Если Шарик не лает, значит, по забору идёт кошка». Это обратное утверждение. Если Шарик не лает (¬Л), значит, кошка не идёт по забору (¬К). Это верно.
- Утверждение 2: «Если Шарик молчит, значит, кошка по забору не идёт». Это также верно. Если Шарик не лает (¬Л), то кошка не идёт по забору (¬К).
- Утверждение 3: «Если по забору идёт чёрная кошка, Шарик не лает». Условие не делает различий по цвету кошки. Шарик лает на любую кошку на заборе. Это неверно.
- Утверждение 4: «Если по забору пойдёт белая кошка, Шарик будет лаять». Это прямое следствие из условия. Любая кошка на заборе вызывает лай Шарика. Это верно.
Ответ: 124