Vanliga logiska form av varje argument, som består av tre förslag, varav två första kallas lokaler, och sist, ingående. Ingående nödvändigtvis följer i lokalerna, så att, om dessa är sanna, slutsatsen måste vara sann, och argumentet uppgår till demonstration