1262 Proof in logic is merely a mechanical expedient to facilitate the recognition of tautologies in complicated cases.

• 1262逻辑中的证明只是一种使得在复杂的情况下易于辨识重言式的机械的便利方法。