Template:Individual-TLP-paragraph-en-5.12

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.