(Latin for bekræftende tilstand.) En inference regel om, at hvis A er sande, og en indebærer B og B er også rigtigt.