(Latijn voor bevestigend modus. ) Een gevolgtrekking regel, die dat stelt als A waar is, en een betekent B, dan B ook waar is.