real analysis - distinguish $\neg P\implies (Q\land\neg R)$ and $(\neg ...