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

Гоклениевский сорит

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

M_n-1aM_n, M_naP |– M_n-1aP,

M_n-2aM_n-1, (M_n-1aP) |– M_n-2aP

…,

SaM₁, (M₁aP) |- SaP.

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