Правила корректности дедуктивных умозаключений

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

Впервые систематический анализ одной из разновидностей дедуктивных умозаключений был осуществлен Аристотелем в «Первой Аналитике» и существенным образом развит его античными последователями.
Дедуктивные умозаключения, основанные на свойствах пропозициональных логических связок, исследовались в школе стоиков и – особенно подробно – в средневековой логике.

умозаключений и отсутствовали точные критерии логической корректности рассуждений.

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