Умовивід – це така форма мислення, завдяки якій з одного або кількох суджень отримують нове судження. Будь-яка планета є космічний об’єкт. Отже, деякі космічні об’єкти – планети. Будь-яка книга є джерелом інформації. Будь-який підручник – книга. Отже, будь-який підручник є джерелом інформації.
Перетворення - це умовивід, в якому висновок повторює засновок, але в іншій формі й дещо уточнює його. Наприклад: Усі помідори - овочі. Отже, жодний помідор не є не овочем. Деякі числа є двоцифровими. Отже, деякі числа не є не двоцифровими. Жодне S не є Р. Отже, всі S є не Р. Деякі S не є Р. Отже, деякі S є не Р.
Всі яблука - фрукти. Отже, жодне яблуко не є фруктом. Деякі тварини - ссавці. Отже, деякі тварини не є не ссавці. Деякі чотирикутники не є прямокутниками. Отже, деякі чотирикутники не є не прямокутниками. Жодний чотирикутник не є трикутником. Отже, всі чотирикутники є не трикутниками. Прочитай умовиводи. Чи правильно виконане перетворення?
Обернення - це умовивід, у якому висновок утворюється шляхом переставляння ознаки чи властивості предмета думки (Р) на місце предмета думки (S), а предмета думки (S) на місце ознаки чи властивості предмета думки (Р). Загальна схема обернення: S є Р Отже, Р є S. Усі прямокутники - чотирикутники. Отже, деякі чотирикутники - прямокутники. Деякі головні члени речення - підмети. Отже, всі підмети - головні члени речення. Жодний огірок не є помідором. Отже, жодний помідор не є огірком.