5.13 Che la verità di una proposizione segue dalla verità di altre proposizioni si vede dalla struttura delle proposizioni.