Деякі S є Р. Отже, деякі Р є S.

Усі S є Р. Отже, жодне не-Р не є S.

Жодне S не є Р. Отже, усі S є не-Р.

Деякі S є Р. Отже, деякі S не є не-Р.

Усі S є Р. Отже, деякі Р є S.

Усі S є Р. Отже, жоден S не є не-Р.

Усі S є Р. Отже, жодне S не є не-Р.

Деякі S є Р. Отже, деякі Р є S.

Усі S є Р. Отже, жодне не-Р не є S.

умовивід, у котрому висновок робиться на підставі одного засновку

умовивід, у котрому висновок робиться на підставі двох засновків

умовивід, у котрому висновок робиться на підставі двох і більше засновків

різновид умовиводу, в якому рух міркувань здійснюється від загального засновку до одиничного висновку

різновид умовиводу, в якому висновок здійснюється на основі встановлення схожості, подібності предметів в певному відношенні

завжди логічно необхідний висновок

різновид умовиводу, в якому рух міркувань здійснюється від загального засновку до одиничного висновку

завжди логічно необхідний висновок

різновид умовиводу, в якому рух міркувань здійснюється від одиничного засновку до загального висновку

ймовірнісний висновок

різновид умовиводу, в якому рух міркувань здійснюється від одиничного засновку до загального висновку

різновид умовиводу, в якому рух міркувань здійснюється від загального засновку  до одиничного висновку