Оцените правильность утверждения своего варианта исходя из здравого смысла (с позиций формальной логики)

Для истинности вывода необходимо не только логическое следование, но также и истинность посылок. Истинность условной посылки под вопросом. Под вопросом и что существует кракозябр, и что он рычит, и что при этом молоко скисает. Тем не менее, зададим переменные простым суждениям и составим символическую запись: «Когда кракозябр рычит (а), молоко скисает (b) . Молоко не скисло (¬b); значит, кракозябр не рычал (¬а)».
Формула: ((а → b) & ¬b) → ¬a.
Данное рассуждение идет в соответствии с отрицающим модусом (modus tollens) условно-категорического умозаключения: можно строить достоверные умозаключения от отрицания следствия к отрицанию основания.
Проверочная таблица истинности:
Порядок действий 1 2 3
а b ¬a ¬ b а → b & ¬b → ¬a
1 1 0 0 1 0 1
1 0 0 1 0 0 1
0 1 1 0 1 0 1
0 0 1 1 1 1 1
Согласно последнему главному действию, импликации (результирующий столбец № 3), в которой формула принимает все значения истины (тождественно-истинная формула), заключаем, что рассуждение правильное.