6.1262

La démonstration en logique n’est qu’un auxiliaire mécanique pour reconnaître plus aisément une tautologie, quand elle est compliquée.