Силлогизм

Дедукциялық ойқорытындының көп тараған тараған айрықша формасын логиканың атасы Аристотель силлогизм (гректің syllogismos (силлогизмос) деген сөзінен шыққан термин, «жинақтау», «қорыту» дегенді білдіреді) деп атаған болатын. Бұл атау осы күнге дейін сақталып келеді.
Силлогизм дегеніміз – екі немесе оданда көп алғышарттардан қорытынды шығаратын дедукциялық ойқорытынды. Мұнда алғышарттардан ең болмағанда біреуі қажетті түрде жалпы пікір болуы міндетті. Мысалы: