Силлогизм

Силлогизмы — совокупность простых категорических атрибутивных суждений, связанных между собой определенными правилами, позволяющими из суждений, содержащих знания большей степени общности, выводить суждения, содержащие знания более частного характера. Силлогизмы могут быть простыми и сложными; кроме того, силлогизмы бывают сокращенными.
Впервые этот вид дедуктивных умозаключений детально исследовал основоположник классической логики Аристотель в своем труде «Аналитики».