Det finnes to grunnleggende logisk gyldige slutningsformer for subjunksjonen. Den første kalles av filosofer og sier at fra og kan man logiske slutte . Den andre kalles og sier at fra og kan man logisk slutte .