5.13 Que a verdade de uma proposição segue-se da verdade de outras vemos a partir da estrutura das proposições.