5.24

L’operazione si mostra in una variabile; essa mostra come si può passare da una forma di proposizioni a un’altra.