La proposición inferida inmediatamente se denomina "anverso" de la proposición original, y es una forma válida de inferencia para todos los tipos de proposiciones categóricas (A, E, I, O).