Template:Individual-TLP-paragraph-fr-6.1262

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.