5.122 Se p segue da q, allora il senso di «p» è contenuto nel senso di «q».