Template:Individual-TLP-paragraph-fr-6.126
6.126 On peut calculer si une proposition appartient à la logique en calculant les propriétés logiques du symbole.
Et c'est ce que nous faisons lorsque nous « démontrons » une proposition logique. Car, sans nous préoccuper de son sens[1] ou de sa signification[2], nous construisons la proposition logique à partir d'autres propositions au moyen de règles portant seulement sur les signes.
La démonstration des propositions logiques consiste en ce que nous l'engendrons à partir d'autres propositions logiques par applications successives d'opérations déterminées, lesquelles produisent toujours de nouvelles tautologies à partir des premières. (Car d'une tautologie ne suivent que des tautologies.)
Naturellement, cette façon de montrer que les propositions de la logique sont des tautologies ne lui est en aucune manière essentielle. Ne fût-ce que parce que les propositions dont part la démonstration doivent assurément montrer sans démonstration qu'elles sont des tautologies.