From professional translators, enterprises, web pages and freely available translation repositories.
6.1203 n order to recognize a tautology as such, we can, in cases in which no sign of generality occurs in the tautology, make use of the following intuitive method: i write instead of "p", "q", "r, etc., "tpf", "tqf", "trf", etc.
6.1203 per riconoscer tale una tautologia ci si può servire, ove nella tautologia non occorra alcuna designazione di generalità, del seguente metodo intuitivo: invece di "p", "q", "r", etc., scrivo "vpf", "vqf", "vrf", etc.