Задачка inside

Разбираю на примере мухряния (если надо могу разобрать два остальных):
18. Когда вы спите, вы всегда мухряете.
Сплю = мухряю
Не сплю = скорее всего не мухряю, но не обязательно
Мухряю =  скорее всего сплю, но не обязательно
Не мухряю = не сплю
Поэтому варианты a и c одинаково правильные.

Так что как по мне тест сам не до конца логичный (есть паралогизмы), а точнее его автор 

A = "вы спите", B = "вы мухряете"
Известно, что (A => B). Какое из высказывание верно:
a. (A => B) => (B => A)
b. (A => B) => (^A => ^B)
c. (A => B) => (^B => ^A)
(^ значит отрицание)

2. Можно как в школе, написать на бумажке "матрицу истинности", т.е. для всех (4-х) входных значений A,B посчитать все три результата

2.1. Можно сразу отбросить заведомую фигню. Вар.A очевидно ложен, можно даже не проверять. В принципе, вар.B тоже Давайте докажем вар.C.

A    B    итого
t    t    t => (f => f) = t
t    f    не подходит под условие, т.к. при этом (A => B) ложно
f    t    t => (f => t) = t
f    f    t => (t => t) = t

Т.е. для любых допустимых входных данных результат - истина. Бинго!

Не всякий» — значит какой-то может.
Не значит. Не надо обобщать шакалов
Ты на 22-й вопрос ответил? Он ровно такой же, только слова другие.

Логика вообще-то разная бывает
Ну да. Бывает логика, а бывает женская. Еще бывает нечеткая, но это сложно. Больше не знаю.

7b вместо правильного 7a.
Причина ошибки не в случайности или от усталости, как пишет автор теста про 26-30 баллов. Тут дело было в другом. Я второй раз ответил 7b, что говорит уже о невнимательности и о том, что некоторые логические рассуждения все-таки могут быть неверными. Я нашел свою ошибку, я рассуждал совсем не так, как следовало бы.
Я подходил формально и без вчитывания: шакалы с больной мухропендией существуют. Про здоровых не говорится. Значит утверждать что-то про здоровых нельзя.
А надо было построить рассуждение иначе: с больной существуют. не всякий может похвастаться здоровой. ни один - это тоже не всякий, просто "не всякий" - менее конкретно. Т.е. утверждая, что не всякий ш может похвастаться здоровой м, мы утверждаем лишь о том, что существуют ш с больной м.

"Случайности не случайны!" (с) мастер Угвэй / Кунг-фу Панда