Обзор сокращенных силлогизмов и энтимем в логике