(A→B)∧(A→┐B) shows that A can draw two contradictory conclusions (B and┐ B), so A is not established, that is, ┐ A.

I don't have any good suggestions in my study, but I should read more and practice more, and I'd better buy a good book. There is a book called Discrete Mathematics and Its Application, which is very good and can be read.