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

Это разделительно-категорическое умозаключение, утверждающе-отрицающий модус (ponendo tollens).
«Категорические суждения могут быть общими (р) или частными (q) . Это суждение частное (q). Значит, оно не может быть общим (р)».
((р ≠ q) ʌ р) р
В этом модусе дизъюнкция должна быть только строгой, в противном случае мы не получаем достоверного вывода