Template:Individual-TLP-paragraph-en-6.1262

6.1262 Proof in logic is only a mechanical expedient to facilitate the recognition of tautology, where it is complicated.