6.1203
Pour reconnaître une tautologie comme telle, on peut dans les cas où aucun signe de généralisation n’y apparaît, se servir de la méthode intuitive suivante : j’écris, au lieu de « p », « q », « r », etc., « VpF », « VqF », « VrF », etc. J’exprime les combinaisons de vérité au moyen d’accolades, par exemple :