Template:Individual-TLP-paragraph-es-6.1201

6.1201 Que, por ejemplo, las proposiciones «p» y «~p» en la conexión «~(p.~p)» den como resultado una tautología muestra que se contradicen mutuamente. Que las proposiciones «p ⊃ q», «p» y «q» en la forma «(p ⊃ q).(p) : ⊃ : (q)» unidas entre sí den como resultado una tautología muestra que q se sigue de p y p ⊃ q. Que «(x) . fx : ⊃ : fa» sea una tautología, que fa se siga de (x) . fx. Etc. etc.