6.23 Se due espressioni vengono collegate dal segno di uguaglianza ciò vuol dire che possono essere sostituite l'una con l'altra. Se però questo si verifica deve mostrarsi nelle due espressioni stesse.

Che esse possano essere sostituite l'una con l'altra caratterizza la forma logica di due proposizioni.