I. Утверждающий модус (MODUS PONENS)

Формула ((а b) ^ а) b (1) является законом логики.

Можно строить достоверные умозаключения от утвер­ждения основания к утверждению следствия, напр.:

Если ты хочешь наслаждаться искусством, то ты должен быть ху­дожественно образованным человеком.

Ты хочешь наслаждаться искусством.

Ты должен быть художественно образованным человеком.

Для построения другого примера воспользуемся интересным высказыванием великого русского педагога К.Ушинского: «Если человек избавлен от физического труда и не приучен к умственному, зверство овладевает им». Использовав это высказывание, построим условно-категорическое умозаключение:

Если человек избавлен от физического труда и не приучен к ум­ственному, то им овладевает зверство.

Это человек избавлен от физического труда и не приучен к умствен­ному.

Этим человеком овладевает зверство.

Любое использование правил или теорем, или законов в математике, физике, химии и других науках основано на ут­верждающем модусе, дающем достоверное заключение, поэто­му в практике мышления он находит самое широкое примене­ние. В юриспруденции это умозаключение используется при подведении частного случая под действие какой-либо статьи ГК РФ или УК РФ, или в других ситуациях.

Если гражданин РФ достиг 18 лет, то для него в полном объеме возникает гражданская дееспособность.

Гражданин РФ Крылов Н.В. достиг 18-летнего возраста.

Для гражданина РФ Крылова Н.В. в полном объеме возникает гражданская дееспособность.

II. Отрицающий модус (MODUS TOLLENS)