5.23 La operación es lo que debe ocurrir con una proposición para hacer otra de ella.