Проверьте правильность демонстративного умозаключения

Проверьте правильность демонстративного умозаключения: а)Если человек не уяснил себе элементарных логических правил, то он не сможет применять их в своей практике. Студент Петров не уяснил себе элементарных логических правил, значит он не сможет применять их в своей практике умозаключение верное Зададим переменные простым суждениям посылки и завершим рассуждение согласно тому, что посылка исходная условная:Если человек не уяснил себе элементарных логических правил (р), то он не сможет их применять в своей практике (q). Человек явно не уяснил себе элементарных логических правил (р), поэтому он не сможет их применять в своей практике (q).Использован модус (modus ponens) условно-категорического умозаключения: можно строить достоверные умозаключения от утверждения основания к утверждению следствия. б)Дети не любят насилия. Я тоже не люблю насилия. Значит, я — ребенок.