Правильный ответ: Если Мишина кошка не мурлычет, значит её не чешут.
Разъяснение:
Исходное утверждение: Если кошку чешут (P), то она мурлычет (Q). Это можно записать как P -> Q.
Мы ищем вывод, который является логически верным.
Рассмотрим варианты:
1. Если Мишину кошку не чешут, то она не мурлычет. Это обратное утверждение (not P -> not Q), и оно не всегда верно.
2. Если Мишина кошка не мурлычет, значит её не чешут. Это контрапозиция исходного утверждения (not Q -> not P). Контрапозиция всегда логически эквивалентна исходному утверждению, поэтому это правильный ответ.
3. Если Мишина кошка мурлычет, значит её чешут. Это обратное утверждение (Q -> P), и оно не всегда верно.
Таким образом, если кошка не мурлычет, то ее точно не чешут, исходя из условия.