La primera inferencia es muy sencilla. Si las premisas son verdaderas, la conclusión deberá serlo. O para ponerlo de otra manera, las premisas no podrían ser verdaderas sin que la conclusión también lo fuera. Los lógicos llaman deductivamente válidas