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.

348