Словарь по логике

Аристотелевский сорит

Сорит, в энтимемном представлении которого пропущены меньшие посылки. В развернутом виде может быть представлен так:

SaM₁, M₁aM₂ |- SaM₂,

(SaM₂), M₂aM₃ |– SaM₃,

…,

(SaM_n), M_naP |– SaP.

Называется также соритом подведения.