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.
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.