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.