Дано правило: «Все спелые арбузы сладкие». Выберите все верные утверждения, логически следующие из этого правила. 1. Если арбуз сладкий, то он спелый. 2. Если арбуз не сладкий, то он не спелый. 3. Не бывает спелых, но не сладких арбузов. 4. Любой не спелый арбуз не является сладким.

Исходное утверждение можно записать в виде логического следования: A => B , где A — «арбуз спелый», B — «арбуз сладкий». Проанализируем каждое утверждение: 1. Если арбуз сладкий, то он спелый ( B => A ). Обратное логическое утверждение не обязательно является верным. 2. Если арбуз не сладкий, то он не спелый ( B => A ). Это контрапозиция исходного утверждения, она логически эквивалентна ему и, следовательно, всегда верна. 3. Не бывает спелых, но не сладких арбузов. Это означает, что невозможно одновременное выполнение A и невыполнение B , что равносильно исходному правилу. Утверждение верно. 4. Любой не спелый арбуз не является сладким ( A => B ). Такое противоположное утверждение также не обязательно верно. Таким образом, логически следуют из правила утверждения 2 и 3. Ответ: 23.

23