Template:Individual-TLP-paragraph-pt-br-6.1201

6.1201 Por exemplo: a proposição “p” e a “∼p” na conexão “∼(p . ∼p)” produzem uma tautologia, o que mostra que se contradizem entre si. As proposições “p ⊃ q”, “p” e “q”, ligadas entre si na forma “(p ⊃ q) . (p) : ⊃ : (q)”, produzem uma tautologia, o que mostra que q se segue de p e p ⊃ q. Que “(x) . fx : ⊃ : fa” seja uma tautologia, mostra que fa se segue de (x) . fx, etc., etc.