Это вид дедуктивного умозаключения, в котором из двух истинных категорических суждений, при соблюдении правил необходимо следует заключение простой категорический силлогизм, разделительно-категорическое умозаключение, условно-категорическое умозаключение, чисто условное умозаключение