5.12 In particular the truth of a proposition p follows from that of a proposition q, if all the truth-grounds of the second are truth-grounds of the first.