Определите вид и проверьте правильность умозаключений по их форме Вариант 1 5 Данное преступление следует считать государственным

Посылка:
Преступления бывают воинские или государственные.
Посылка:
Данное преступление по своей характеристике нельзя квалифицировать как воинское.

Заключение:
Данное преступление следует считать государственным.

Определяем простые суждения в составе умозаключения:
«Преступления бывают воинские» – р.
«Преступления бывают государственные» – q.

Из анализа смысла высказывания определяем, что союз «или» является логической связкой нестрогой дизъюнкции.

Записываем логическую форму умозаключения в символической записи:
((p q) ʌ ¬р) → q.

Данное умозаключение является разделительно-категорическим.
модус – отрицающе-утверждающий (tollendo ponens).

При неполном дизъюнктивном высказывании разделительно-категорическое умозаключение будет неправильным, а в посылке перечислены не все альтернативы, не все дизъюнкты. Поэтому вывод вероятностный.

Полученная логическая форма умозаключения соответствует / не соответствует (нужное подчеркнуть) правильному отрицающе-утверждающему модусу разделительно-категорического умозаключения. Следовательно, умозаключение не правильное, а заключение не достоверное….