Paraconsistent Logic: Consistency, Contradiction and Negation