4 ms·
I guess I got a little confused, because a different form with some de-morganing and contraposed implications feels more natural to me in plain-language proofs.
by IsTom 2y ago
I guess I got a little confused, because a different form with some de-morganing and contraposed implications feels more natural to me in plain-language proofs.