[pinnochio]

Hm, not much of a law if we boil it down to a tautology.

[1718627440]

Every true statement boils down to resolving it to a tautology. In a mathematical proof you resolve definitions until only a tautology is left.

[pinnochio]

> Every true statement boils down to resolving it to a tautology.

Prove it.