Р -П q, р

iq

Это утверждающий модус.

Возможны и другие разновидности модусов.

Во-вторых, если большая посылка является эквивалентным суж­дением: р = q (если, и только если р, то q), где s — знак эквивалент­ности, то достоверные заключения получаются по всем четырем модусам:

P=q,P. P^lq. Р = q> "I Р. Р ^s Ч, q q ' ip ' iq ' Р

Рассмотрим для примера выделяющее условное суждение: «Если лицо виновно в совершении преступления, то оно подлежит уголов­ной ответственности». Нетрудно установить, что достоверное за­ключение получается по любому из приведенных модусов.

§ 2. Разделительно-категорическое умозаключение