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

Структура его: Схема:

Если а, то b. а →b

a a

b b

Формула ((а →b)^а)→b(1) является законом логики. Можно строить достоверные умозаключения от утвер­ждения основания к утверждению следствия. Приведем два

примера:

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

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

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

Для построения другого примера воспользуемся интересным высказыванием великого русского педагога К. Д. Ушинского:

“Если человек избавлен от физического труда и не приучен к умственному, зверство овладевает им”'. Использовав это вы­сказывание, построим условно-категорическое умозаключение:

_____________________________

'Ушинский К. Д. Собр. соч. М.-Л., 1948. Т. 2. С. 350.

159

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

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

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

Любое использование правил в русском языке, математике, физике, химии и других школьных дисциплинах основано на утверждающем модусе, дающем достоверное заключение, поэтому в практике мышления он находит самое широкое применение.

Пример:

Если этот металл натрий, то он легче воды.

Данный металл - натрий.

Данный металл легче воды.