Силлогизм - это дедукция. Это вид логического аргумента, в котором одно предложение (заключение) выводится из двух или более других (посылок). Эта идея является изобретением Аристотеля.
В "Предварительной аналитике" Аристотель определяет силлогизм как "рассуждение, в котором, когда предполагаются определенные вещи, с необходимостью вытекает нечто отличное от предполагаемых вещей, потому что эти вещи таковы". (24b18-20)
В каждом предложении должна присутствовать какая-либо форма глагола "быть". Категорический силлогизм похож на маленькую машину, состоящую из трех частей: главной посылки, второстепенной посылки и заключения. Каждая из этих частей является предложением, и на основе первых двух определяется "истинностное значение" третьей части.