Proof in logic is only a mechanical expedient to facilitate the recognition of tautology, where it is complicated.
« 6.1261 6.1263 »