(Lateinisch für positive Modus.) Eine Rückschlussregel, die besagt, dass wenn A wahr ist, und "A" B und B bedeutet ist auch wahr.