5.13 That the truth of one proposition follows from the truth of other propositions, we perceive from the structure of the propositions.