Приведем примеры умозаключений:
1. Все люди смертны.
Сократ — человек.
Сократ смертен.
2. Все студенты изучают философию.
Ни один школьник не изучает философию.
Ни один школьник не является студентом.
3. Все цветы — растения.
Все розы — цветы.
Все розы — растения.
Умозаключение состоит из посылок, заключения и логической связи между посылками и заключением. Логический переход от посылок к заключению называется выводом.