5.23 L'operazione è ciò che deve succedere all'una proposizione per ottenerne l'altra.