3 ms·We call a proof that is not tautological "wrong".by jstanley 2mo agoWe call a proof that is not tautological "wrong".