DARAPT1, among logicians, one of the modes of syllogisms of the third figure, whose premises are universal affirmatives, and the conclusion is a particular affirmative: thus,
DAR- Every body is divisible;
AP- Every body is a substance;
TI, Therefore, some substance is divisible.