Міркування за цією схемою правильне, тому що є тотожно істинною формулою.
Наприклад, «Якщо Петро займається спортом, то він не хворіє» і «Петро займається спортом», отже «Петро не хворіє».
Завдання 11. Нехай дане істинне висловлення «Якщо ділиться на 9, то ділиться на 3» і нехай відомо, що « ділиться на 9». Який висновок можна зробити, виходячи із цих двох висловлень?
є тотожно істинною формулою.
ділиться на 9, то