Dimatis

Dimatis (également appelé Dibatis dans la Logique de Port-Royal) est un terme de la logique aristotélicienne désignant un des cinq syllogismes de la quatrième figure des vingt-quatre modes. Il comprend une majeure de type I, une mineure de type A et une conclusion de type I, c'est-à-dire une majeure particulière affirmative, une mineure universelle affirmative et une conclusion particulière affirmative.

Un syllogisme en Dimatis consiste en une proposition de ce type : quelque P est M, or tout M est S, donc quelque S est P.

Les quatre autres syllogisme de la quatrième figure sont Bamalip, Camenes, Fesapo et Fresison.