1. Записать рассуждение в логической символике, обосновать выбор логических связок
2. Проверить правильность рассуждений, составив таблицу истинности
Если ослик Иа пойдет гулять, то он обязательно потеряет хвост. Ослик Иа пойдет гулять, если Вини-пух пойдет с ним. Вини-пух решил остаться дома. Значит, ослик Иа не потеряет свой хвост.